Porisme de Steiner

Porisme classique concernant deux cercles non sécants (une couronne) qui affirme que si, pour un choix de cercle de départ, il existe une chaîne fermée de n cercles tangents deux à deux inscrite entre les deux cercles donnés, alors une telle chaîne fermée existe pour tout choix de cercle de départ dans l'anneau.