Lo que prueba que G es un subgrupo de Biy(E), o sea un grupo de transformaciones.