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 a nonrational polytope when there is no variety associated to it. The talk is about the Hard Lefschetz theorem for the intersection cohomology of a general polytope.