 Construire une preuve pour démontrer que x^2 = y^2
 Cette preuve peut être construite en notant d'abord que x^2-y^2 = (xy)*(x+y). Ensuite, en considérant la différence de l'équation de deux carrés, (xy)(x+y) = x^2 - y^2, et en développant l'équation, il est évident que x^2 = y^2.