3.19 证明规则的例外