I was wondering whether there is a proof of SSS Congruence Theorem (and also whether there is one for SAS and ASA Congruence Theorem). In my textbook, they are treated as a postulate, or one that we just accept as truth without basis. Is the 3 theorems for similar triangles really just postulates, or are there any proof of them? I tried searching online but I couldn't find one.