Ist denn in (x)fx von a die Rede, da fa aus (x)fx folgt?
   In dem Sinne des allgemeinen Satzes, dessen Verification in einer Aufzählung besteht, ja.