17.1. (a – b)(a + b) = (a + (–b))(a + b) = (δεξιός επιμ. νόμος) = a(a + b) + (–b)
(a + b) = (αριστερός επιμ. νόμος) a2 + ab + (–b)a + (–b)b = (θεώρημα 17.1.)
a2 + ab – ab – b2 = a2– b2 + (ab – ab).
Ετσι, (a – b)(a + b) = a2– b2 a2– b2 + (ab – ab) = a2– b2 ab – ab = 0
ab = ba. Ο.ε.δ.