Porismo de Steiner, dice que dadas dos circunferencias interiores no concéntricas, independientemente de por dónde empecemos, o siempre conseguimos una cadena de Steiner o nunca lo lograremos. Una cadena de Steiner es una sucesión de circunferencias tangentes a las dos iniciales y a dos de las buscadas, rodeando a la interior de las iniciales.