The value corresponding to a numbered proposal can be computed as part of running the Paxos protocol, but need not be.
番号が振られた提案に対する合意値は Paxos プロトコルを実行する過程で計算されても良いし，そうでなくてもかまわない。