Wir müssen zeigen das folgendes gilt

das ist das gleiche wie:  m*q = a-b  => m*q = a²-b²  für ein q aus Z 

Ich habe die lösung gesehen und einen schritt verstehe ich nicht
Woher kam dieser gelbmarkierter term?