Ogni poligono rep_4 conosciuto è anche un poligono rep_9.