The perpendicular bisectors of the sides of ABC cut the circumcircle at A', B', C' (A , A' at the same side of BC, etc.). The Simson ines of A', B', C' concur.