right congruence

[ریاضیات] قانون حذف از راست، همنهشتی راست