Prendiamo che A = B, quindi A² = B², allora A² = AB. Per la proprietà invarianti possiamo aggiungere ai due membri -B², e quindi A² - B² = AB - B², ora scomponiamo in fattori: (A + B)(A - B) = B(A - B), dividiamo i due membri per A - B (proprietà invariantiva), otteniamo A + B = B, sapendo che A = B allora B + B = B, ovvero 2B = B, togliendo il fattore B in comune viene 2 = 1