Beviset utføres ofte i to steg: Først for tilfellet der sidelengdene i de to formlike trekantene er kommensurable, deretter for tilfellet der sidelengdene er inkommensurable.