Gegenannahme und Widerspruch

Die Gegenannahme bleibt aktiv, bis sie zusammen mit bekannten Tatsachen etwa $R$ und $\neg R$ erzwingt.

Bei klassischen Wurzelzeigen kollidiert die angenommene vollständig gekürzte Darstellung mit einem erzwungenen gemeinsamen Primteiler.

Idee: Ein Produkt aller Kandidaten plus eins ist durch keinen Kandidaten teilbar – die Liste war unvollständig.

Wenn dieselbe Zahl aus der Gegenannahme gerade und ungerade sein müsste, ist die Annahme unmöglich.

Der Audit benennt beide kollidierenden Aussagen und prüft, dass keine heimlich die zu zeigende Behauptung voraussetzt.