Una vez demostrado que "G" es un grupo se demuestra el teorema: