僕は三角形の合同を1回用いて証明しました