"theorem on congruence of triangles" Deutsche bedeutung