strong Lefschetz theorem