Neka su E i F redom polovišta dijagonala AC i BD. Nadalje, neka su A1, B1, C1, D1 redom nožišta okomica iz vrhova A, B, C, D na pravac EF.

Zbog ∠AEA1=∠CEC1 (vršni kutovi) i ∣AE∣=∣EC∣, vrijedi da su pravokutni trokuti AA1E i CC1E sukladni. Zbog toga je ∣AA1∣=∣CC1∣.
Analogno, trokuti BB1F i DD1F su sukladni i vrijedi ∣BB1∣=∣DD1∣.
Vrijedi
P(ABN)=P(AMN)+P(MBN)=2∣MN∣⋅∣AA1∣+2∣MN∣⋅∣BB1∣=21∣MN∣(∣AA1∣+∣BB1∣)
i slično:
P(CDM)=P(CMN)+P(MDN)=2∣MN∣⋅∣CC1∣+2∣MN∣⋅∣DD1∣=21∣MN∣(∣CC1∣+∣DD1∣).
Dakle,
P(ABN)=21∣MN∣(∣AA1∣+∣BB1∣)=21∣MN∣(∣CC1∣+∣DD1∣)=P(CDM).