背理法で余裕