Satsen säger att en begränsad linjär funktional på ett delrum av ett Banachrum alltid kan utvidgas till hela rummet, eventuellt på flera sätt. En geometrisk version säger att det alltid finns ett hyperplan mellan en sluten konvex mängd och en punkt utanför mängden.