>>66
同値であることを証明したいんじゃなくて
真偽が等しいことを証明したいんだろ、場合分けするしかねーじゃん