9.2.4 证明有效性