在 树状数组 - OI Wiki 中对「对于任意 $v' > u$，若 $v'$ 不是 $u$ 的祖先，则 $c[u]$ 和 $c[v]$ 不交」的证明中提到：

$u$ 和 $u$ 的祖先中，一定存在一个点 $v$ 使得 $v < v' < fa[v]$。

如何证明这一点？