Diberikan trapesium ABCD dengan AB sejajar CD dan AB < CD. Misalkan diagonal AC dan BD bertemu di E dan misalkan garis AD dan BC bertemu di titik F. Bangun jajar genjang AEDK dan BECL. Buktikan bahwa garis EF melalui titik tengah segmen KL.