Es la tercera regla, esta conversión, que podría ser añadida a las dos anteriores para formar una nueva relación de equivalencia.