>>826
背理法のタブーとはどういうこと?