hard Lefschetz theorem