どう見ても同じ形なのに合同だという事を証明しないといけないのか。