Transitividad de la congruencia y existencia de elementos inversos