规则存在的必须条件