It proved the Correctness of the protocol.

• 最后证明了该协议算法的正确性。