课时测验:可分性规则