  The Hard Lefschetz theorem is known to hold for the intersection cohomology
of the toric variety associated to a rational convex polytope. One can
construct the intersection cohomology combinatorially from the polytope, hence
it is well defined even for nonrational polytopes when there is no variety
associated to it. We prove the Hard Lefschetz theorem for the intersection
cohomology of a general polytope.
