neorobin

应该说你证明的是 random 的取值集合中存在 0 和 32767 这两个元素.
如果把你代码中的 0 和 32767 换成 [0,32767] 之内的任意别的数字, 例 0->a, 32767->b (假设 a<=b),
那么 random 的取值范围就被证明是 [a,b], 与你的结论就矛盾了.