>>590
実際のところは確かにそうだが、以前、背理法は結論を否定して
矛盾が導ければ万々歳、とかいう話をいってなかったか？
意味が云々とかいう問題ではなく。