En efecto, lo podemos demostrar usando las propiedades del grupo formula_10: