Para ello, existen dos caminos, que se excluyen mutuamente entre sí y que, de manera independiente, permiten establecer una estructura de grupo sobre el par ("M, formula_6")