展开 验证是否遵循自由组合定