>>56
その場合は望月の側が導かれるという証明文を明らかにして、機械に検証にかけないといけない。
それをしない時点で望月の負け。