既没有对每个位置独立性的证明，也没有对时间复杂度的证明。