Completing proofs involving congruent triangles using ASA or AAS