Bisher hat der Schüler nicht gezeigt, dass 5 eine Lösung der Gleichung ist. Er hat lediglich gezeigt, dass x:=5 eine Lösung der Gleichung (2x-3)²=49 ist und das, wenn x eine Lösung der Gleichung (2x-3)²/7-7=0 ist, dann auch (2x-3)=49 ist.
Mit der Ausnahme von 2x-3=7⇒(2x-3)²=49 können alle Implikationszeichen durch Äquivalenzpfeile ersetzt werden. Damit hätte der Schüler danna auch gezeigt, dass 5 eine Lösung der gegebenen Gleichung ist.