>>1

矛盾の証明には背理法が必要となる。