Meaning 

 

Under suitable conditions on the variables U' (algebraically independent for H+ H', maximal, etc..): 

 

 

• There is an FSDIC iff the thesis holds over all "relevant" components of the new hypotheses variety.  

 

• Moreover, if there is no FSDIC, the thesis must hold and fail over some "relevant" components.