>>759
>>762
>n+1人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
の部分は
>n人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
に変更。