Clifford's Circle Chain
Theorems. This is a step by step presentation of the first theorem.
Clifford discovered, in the ordinary Euclidean plane, a "sequence or
chain of theorems" of increasing complexity, each building on the last
in a natural progression.