Hard Lefschetz Theorem