Il quadrilatero PQRS è circoscritto alla circonferenza, per costruzione.

Inoltre, per costruzione, è un parallelogramma e le sue diagonali sono le bisettrici (↑) dei suoi angoli; per questo motivo il parallelogramma PQRS è un rombo (↑) .

Il quadrilatero ABCD è inscritto nella circonferenza. Poichè C è un punto di tangenza, OC è perpendicolare a QR, per lo stesso motivo, poichè A è un punto di tangenza, OA è perpendicolare a PS. Quindi AC, diagonale del quadrilatero, è la distanza delle due rette parallele QR e PS (↑) ed è anche il diametro della circonferenza.

Per lo stesso motivo anche DB è diagonale e diametro della circonferenza. Allora DB ≅ AC. Per questo motivo il quadrilatero ABCD è un rettangolo (↑)