Inversion in a circle maps P → P' where OP·OP' = r². Lines through O map to themselves. Lines not through O map to circles through O. Circles map to circles.