37.8 Inversione circolare di una retta che taglia Γ
Per la proposizione 37.2 (Hartshorne) l'immagine della retta è una circonferenza che passa per O. Poichè per la definizione di inversione circolare C e D sono punti fissi l'immagine della retta l deve essere necessariamente la circonferenza che passa per O, C e D.