Properties Of Equality And Congruence