a ≡ b (mod m) bedeutet: Es gibt eine natürliche Zahl k, sodass a-b=k·m.
Multipliziere beide Seiten der Gleichung a-b=k·m mit der natürlichen Zahl x=an-1+an-2b+an-3b2+...+bn-1.
Du erhältst a2-b2=k·x·m
Also: Es gibt eine natürliche Zahl k·x, sodass a2≡b2 (mod m).