4.4.3 充分准则基本性质