>>411
背理法は必要だという主張