Neka je s1 simetrala stranice AB, a s2 simetrala stranice BC.

Kako je s1⊥AB, s2⊥BC i AB⊥BC, onda je i s1⊥s2.
Budući da je ∣ES∣=∣SH∣ i ∣∠ESH∣=90∘, onda je △ESH jednakokračan pravokutan pa je ∣∠HES∣=∣∠SHE∣=45∘.
No, i ∣FS∣=∣SG∣ i ∣∠GSF∣=90∘ te i △FGS jednakokračan pravokutan, odnosno ∣∠SFG∣=∣∠FGS∣=45∘.
S obzirom da je ∣∠FSE∣=90∘, onda je △EFS pravokutan pa je ∣∠SEF∣+∣∠EFS∣=90∘.
Dalje je
∣∠HEF∣+∣∠EFG∣=(∣∠HES∣+∣∠SEF∣)+(∣∠EFS∣+∣∠SFG∣)=∣∠HES∣+(∣∠SEF∣+∣∠EFS∣)+∣∠SFG∣=45∘+90∘+45∘=180∘.
To znači da je EH∥FG te je □EFGH trapez.
Kako je ∣ES∣=∣SH∣, ∣∠FSE∣=∣∠HSG∣=90∘ i ∣FS∣=∣SG∣, prema teoremu S-K-S o sukladnosti slijedi △EFS≅△HGS.
Iz sukladnosti slijedi ∣EF∣=∣HG∣ te je time tvrdnja dokazana.