新手关于paxos一点疑问！

一个关于paxos的小问题，新手！一个关于paxos的小问题，新手！导读:看了原文，有些地方没看懂。我想问一下:在证明循环不变量p2b时，论文写道:如果选择了一个值为V的提案，那么每一个被选择的序号较高的提案的值都将为V，这里的问题是:这句话中最后一个“有”是什么意思？