Poncelet's porism says that whenever a polygon is inscribed in a conical and circumscribes another, the polygon must be part of an infinite family of polygons that are all inscribed and circumscribe the same two conicals.