En su lugar, se utiliza la congruencia