Reflexive Property of Congruence