/  
Wenn wir bewiesen haben daß eine der Zahlen von n + 1 bis n! ‒ 1 eine Primzahl sein muß, so haben wir eine Disjunction bewiesen & diese kann in der Konstruktion einer reellen Zahl eine Rolle spielen, nicht aber die spezielle Primzahl unter den Gliedern der Disjunktion die wir durch probieren gefunden haben.