Llamamos a un par de polígonos, $p$ y $q$ , anidados si podemos dibujar uno dentro del otro, posiblemente después de la rotación y/o reflexión; de lo contrario, los llamamos no anidados. Sean $p$ y $q$ polígonos. Demuestra que si podemos encontrar un polígono $r$ , que es similar a $q$ , tal que $r$ y $p$ no están anidados si y sólo si $p$ y $q$ no son similares.