Pasando a clases de equivalencias, tenemos que