15.2.7 型消去まで