Dimostriamo che i segmenti AB e JM sono congruenti.[br]La circonferenza d ha lo stesso raggio della circonferenza c per costruzione.[br]La circonferenza g ha lo stesso raggio della circonferenza d per costruzione (hanno lo stesso raggio, in comune).[br]Allora g è uguale a c. Ho costruito g in modo che AB sia una corda di g e, inoltre, FH è congruente a EC per costruzione.[br]Quindi ho ricostruito una circonferenza g uguale a quella iniziale c in modo che il punto H (uguale ad E) passi per la corda AB.[br]Infine ho riportato la corda AB trovando J (EJ congruente ad HA per costruzione) e considerando la retta per J ed E, tracciando infine il segmento JM (con M intersezione fra la retta per J ed E e la c).