ax=2by-1が成り立つとして矛盾を導いているらしいけど肝心の式が成り立つ理由が書かれていない