Neka je P polovište osnovice BC.

Budući da je trokut ABC jednakokračan, AP je njegova visina i vrijedi ∠BPA=90∘.
Usto je
PABP=21PABC.
Trokuti ABP i MBN imaju zajednički kut ∠ABP=∠MBN, oba imaju pravi kut (∠BPA=90∘=∠BNM) i vrijedi ∣AB∣=∣MB∣, pa po K–S–K poučku o sukladnosti zaključujemo da su ti trokuti sukladni.
Budući da sukladni trokuti imaju jednake površine, zaključujemo da je PABP=PMBN, odnosno
PMBN=21PABC.
Slijedi
PACMN=PABC−PMBN=PABC−21PABC=21PABC=PMBN.
Nadalje, iz ranije pokazane sukladnosti imamo
∣NB∣+∣BM∣=∣PB∣+∣BA∣=21OABC,
pa je i
OACMN=OABC−∣NB∣−∣BM∣+∣MN∣=OABC−21OABC+∣MN∣=21OABC+∣MN∣=∣NB∣+∣BM∣+∣MN∣=OMBN.
Napomena: Alternativno, umjesto sukladnosti trokuta ABP i MBN može se dokazati i koristiti sukladnost trokuta APM i MNA.