The triangle pairs are congruent by SAS, for example, the 1st pair has the sides AB = AF and AI = AC equal, because ABEF and CAIJ are both squares and the angles are also equal. Hence, the other corresponding angles of these congruent triangle pairs are also equal. Moreover, the triangle is obtained by rotating the triangle around the vertex A by the angle and similarly for the other 2 triangle pairs. Hence, the line pairs are perpendicular to each other.
Ang tatsulok pares ay kapareho ng SAS, halimbawa, ang ika-1 pares ay may panig AB = AF at Ai = AC pantay-pantay, dahil ABEF at CAIJ ay parehong kahon at ang mga angles ay pantay-pantay na din. Kaya, ang iba pang kaukulang angles ng mga kapareho pares tatsulok ay pantay-pantay na din. Bukod dito, ang tatsulok ay makuha sa pamamagitan ng umiikot ang tatsulok sa paligid ng isang tuktok ng anggulo at parehas na para sa iba pang mga pares 2 tatsulok. Kaya, ang mga linya ng pares ay tirik sa bawat isa.