Para demostrar la invariancia derecha, aplíquese la definición: