Similarmente, formula_4 y formula_5 serán congruentes por la derecha si formula_12, y lo denotaremos por formula_13.