私の証明は背理法は使っていません。