File:MathFoundations129 The projective line, circles, and a proof of the CQQ theorem