Wenn man einen Satz der Mathematik eine Anweisung auf einen Beweis nennt, dann ist natürlich auch (∃n) f1n = f2n nur eine Anweisung & zwar ist es die Anweisung auf den Beweis irgend eines Satzes von der Form f1n = f2n. Und das scheint die wesentliche Frage zu sein: „Auf welchen Beweis || welche¤ Art von Beweis ist dieser Satz eine Anweisung?” Das verstehen heißt ihn verstehen.