Similarmente, formula_40 y formula_70 serán congruentes por la derecha si formula_331, y lo denotaremos por formula_332.