Bertini's theorem

In characteristic zero (or more generally in separable settings), a generic hyperplane section of a smooth projective variety X is smooth. The set of 'bad' hyperplanes sits in the dual variety X*, a proper closed subvariety of the dual…