Let n⩾3n \geqslant 3 be an integer. Zagi the squirrel sits at a vertex of a regular nn-gon. Zagi plans to make a journey of n−1n - 1 jumps such that in the ii-th jump, it jumps by ii edges clockwise, for i∈{1,…,n−1}i \in \{1, \ldots, n - 1\}. Prove that if after ⌈n2⌉\lceil \frac{n}{2} \rceil jumps Zagi has visited ⌈n2⌉+1\lceil \frac{n}{2} \rceil + 1 distinct vertices, then after n−1n - 1 jumps Zagi will have visited all of the vertices.

(Remark. For a real number xx, we denote by ⌈x⌉\lceil x \rceil the smallest integer larger or equal to xx.)