なんでax=2by-1が成り立つんだ?