A bizonyítás során azt is igazolni kell, hogy az elforgatás után szomszédos háromszögek befogói egy egyenesre illeszkednek ([math]\alpha+\beta=90°[/math]), illetve a "kis" négyszög négyzet.