GentzenのNKの証明図？宿題の丸投げは止めましょう。