Hard Lefschetz theorem