َabcd رباعي محدب و دائري حيث cd أصغر من ab و bc أصغر من ad
p نقطة من القطعة [ab] بحيث: Ap=cd و q نقطة من القطعة [ad] بحيث: Aq=bc
المستقيمان (ac) و(pq) يتقاطعان في m
بين أن m منتصف [pq]
بالتوفيق