证明两个三角形全等的方法有SSS SAS ASA SSA 这是命题吗