Steiners porism : Betrakta en kedja av cirklar , som var och en är tangent till två angränsande ( tangenter till och ) och två givna disjunkta cirklar och . Sedan för varje cirkel som tangerar och (på samma sätt, om och inte ligger i varandra, externt och internt - annars), finns det en liknande kedja av tangentcirklar .
Det bevisas genom att tillämpa inversionen , som omvandlar ett par cirklar och till koncentriska.