Es sei T {\displaystyle {}T} sternförmig bezüglich des Punktes P ∈ T {\displaystyle {}P\in T} . Dann ist
eine Kontraktion von T {\displaystyle {}T} auf den Punkt P {\displaystyle {}P} .