回答

aやbを他の数を使って書くので、aが正の整数なら
必ずkかRが0でない数になります。
aは最初に与えられている数で
kやRは書き換えるときに出てくる数なので
aの制約条件を完全に満たす形で定義する必要はありません

この回答にコメントする
疑問は解決しましたか?