Lefschetz Decomposition Theorem