https://i.imgur.com/JSIHk2H.jpg

この二つの◯で囲った「余りについての漸化式」が成り立つのは
なぜなんでしょうか?