22.4.1 关于可容忍消息重排序和重复的不可能性结论