Gegeben seien drei Kreise unterschiedlicher Größe, die paarweise nicht vollständig ineinander liegen. Dann kann man zu jedem der drei Kreispaare Tangenten konstruieren. Dann gilt: Die Schnittpunkte aller Tangenten liegen auf einer gemeinsamen Geraden.