>866
> x=3,y=4
のx=3を8倍するとX=24であり8の倍数でない上のX=20と当然一致しない

一致は、しません。
ただ、解を持つならば、整数解と、分数解を持ちます