Completing proofs involving congruent triangles using SSS or SAS