Abstract. It is well known that some components of the quasi-algebraic variety, defined by the hypothesis of a geometric theorem (when the hypothesis is expressed by using equations and inequations), may be redundant. This talk presents a method to exclude those components for which the theorem is false by decomposing the corresponding polynomial system into strong regular sets.