Auf die Gleichung
kann man beidseitig die Addition + 3 {\displaystyle {}+3} (die bijektiv ist) loslassen und erhält die umgeformte Gleichung
Vereinfachungen führen auf die Lösung