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