No es difícil demostrar que basta con esta condición, aparentemente débil, para que un "grupo cociente" sea, efectivamente, un grupo con la operación definida.