证明三个三角形全等的格式