Circles concurrent
Triangle, O1O2O3
Miquel Point, P
XYZ collinear
Related theorems:
Gauss-Bodenmiller
Title Page
Introduction & Contents
Main theorem, this section
Historical Notes
Manipulating CabriJava