A Generalization of Lazard's Elimination Theorem