なるほど！

互換の個数の偶奇性が一定であることを証明するために、
それを逆に考えて「一定ではない」という前提を作り、
それを否定できれば同じことになると、そういうことでしょうか？