9.3.1 验证问题的可分性