Besitzt ein Graph also zwei korrespondierende Kreispackungen, so existiert eine Kombination aus Translationen, Drehstreckungen und Inversionen der Ebene, welche die beiden Kreispackungen ineinander überführt.