Igazoljuk a tételek között felsorolt

azonosságot!
Első lépésként a baloldal mindhárom tagját kibővítjük úgy, hogy szerepeljen bennük mind független változó (A,B,C).

Az így kapott hat szorzatot tartalmazó kifejezésben kettő - kettő azonos. Ezek közül egy - egy elhagyható az A + A = A tétel analógiájára (pl. ABC +…. + ABC = ABC). Ezeket jelöltük egyszeres, illetve kettős aláhúzással.
Második lépésként a bővítés fordítottját végezzük, vagyis ahol lehet az azonos tényezőket kiemeljük.

A zárójelekben levő kifejezések 1 értékűek.
Ezzel igazoltuk az eredeti azonosságot.