Todo polígono mayor de m dimensiones lúdicas, es un polígono separado de todos los polígonos mayores de m dimensiones lúdicas.