5约束条件的检验