Wenn wir bewiesen haben daß eine der Zahlen von n + 1 bis n! ‒ 1 eine Primzahl sein muß, so haben wir eine Disjunktion 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.