Justifying SSS Congruence