命題としては、 ・２つの三角形が相似 ・∠や、△、∽の記号を使う とか。