Ein neues Problem
Stimmt das?

Geht man das Gespräch Stück für Stück durch, so erhält man folgende Behauptung:
Gedachte Zahl x
dann ist .
Tatsächlich ist diese Aussage wahr und man kann mit Hilfe der Äquivalenzumformung von der ersten zur Zweiten Zeile kommen.
Wie genau das geht, siehst du auf der nächsten Seite.