>>16
でもほとんどが背理法ではありませんか?