> 3*21=3*20この式をm倍した式も、成立ちません。
(y-1)=3のとき3*21=3*21です (xが無理数でも)

xが無理数ならば、成立ちます。