Not just that; this even works as a proof by contradiction that there are no non-identical congruent triangles in non-Euclidean geometries. (Probably many proofs of PT can be adapted for that, or for some other result of non-Euclidean geometry, I suppose.)

]]>