>>26
もしかして背理法って無力?