The Hard Lefschetz Theorem