`a)` `A in (O) -> OA = R`

`A in (O') -> O'A = r`

`M` đối xứng `A` qua `O` `-> OM = OA =R`

`-> M in (O)` 

Tương tự có `N in (O'), AN` đường kính `(O')`

Gọi `OO' cap AB = L` `-> L ` trung điểm `AB`

Xét `triangle ABM` có `L` trung điểm `AB`, `O` trung điểm `AM`

`-> OL` là đường trung bình `triangle ABM`

`-> OL` // `MB`

Xét `triangle ABN` có `L` trung điểm `AB`, `O'` trung điểm `AN`

`-> O'L` là đường trung bình `triangle ABN`

`-> O'L` // `NB`

Mà `O, O', L` thẳng hàng nên `MB` và `NB` cùng // `OO'`

Suy ra `M, B, N` thẳng hàng (tiên đề Euclid)