Clifford's_circle_theorems loading ...