>>655
bとaの最大公約数がkを割れないと
k=br-asとなるような整数r,sって存在しないんじゃなかったっけ?