Se demuestra incluso, que si uno da un subgrupo de las biyecciones de un conjunto en sí mismo isomorfo a algún grupo clásico (simetrías, translaciones, proyectividades) entonces todos los teoremas de esa geometría son válidos en este.