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.