>>459
もう何言っているのか分かりませんが、成立すると仮定して証明を行っているので
成立しなければ、その条件D=0は不適になるということです。