
Kako je ∣AE∣=∣ED∣, ∣∠GEA∣=∣∠DEG∣=90∘ i GE zajednička stranica trokuta △AGE i △DGE, prema teoremu S-K-S o sukladnosti slijedi △AGE≅△DGE. Iz sukladnosti slijedi ∣AG∣=∣GD∣.
Analogno, △GFD≅△GFC pa je ∣GD∣=∣GC∣.
Dakle, ∣AG∣=∣GD∣=∣GC∣ i ∣AG∣=∣GB∣ što znači da je ∣GC∣=∣GB∣ odnosno trokut △GBC je jednakokračan.
Također, trokut △AGC je jednakokračan.
Neka je ∣∠CAG∣=α.
Tada je ∣∠GCA∣=α, pa je ∣∠CGB∣=∣∠CAG∣+∣∠GCA∣=2α.
Dalje je ∣∠BCG∣=∣∠GBC∣=2180∘−∣∠CGB∣=90∘−α.
Na kraju, ∣∠ACB∣=∣∠GCA∣+∣∠BCG∣=α+90∘−α=90∘.