بما أن \(O\) هي منتصف \([JL]\) (معطى) و \(O\) هي أيضاً منتصف \([IK]\) (لأن \(K\) مناظرة \(I\) بالنسبة لـ \(O\)).
فإن القطران يتقاطعان في منتصفهما، مما يجعل الرباعي متوازي أضلاع.
وحيث أن \(IJ = IL\) (ضلعان متجاوران متقايسان)، فإن متوازي الأضلاع يصبح **معيناً**.