" Verifiquemos que las operaciones están bien definidas, es decir que no dependen de los resentantes escogidos para la definición.