真偽の場合分けじゃない方法で証明できないかやってみたが難しかった。