つまり、背理法もまともに使えないのに証明とか言い張っているということでFA?