SSS congruence proof