بما أن \(\Delta\) هو الموسط العمودي لـ \([OA]\) و \(B \in \Delta\)، فإن \(BA = BO\).
وبما أن \(D \in \Delta\)، فإن \(DA = DO\).
لدينا \(BO = DO\) (أنصاف أقطار في الدائرة \(\mathcal{C}\)).
إذن \(BA = BO = DO = DA\). بما أن أضلاع الرباعي الأربعة متقايسة، فهو **معين**.