https://mirror.codeforces.com/blog/entry/77846 Can anyone explain why in problem G we are having a cyclic shift as d where (d.n)%m=0? I seem to get a bit of the intuitive picture but a proper formal proof would be appreciated.