⌊⌊ „N hat mir eine Zahl genannt”

Wir sagen das Gegenteil des Fermatschen Satzes kann durch Auffindung eines bestimmten Zahlentrippels bewiesen werden. Der Satz selbst aber nicht durch das Nichtfinden eines solchen Trippels sondern durch einen Beweis den wir nicht kennen. ⌋⌋