命題1
ax=2by-1ならばx=y=1

命題2
ax=2by-1が成り立つ

命題2の証明がない