Congruence Theorems or Postulates