The Hann-Banach-Kantorovich and Mazur-Orlicz theorems. IfP-X -*• Υ U {+ oo} is a subadditive positive-homogeneous operator and domP = X, then we say that Ρ is defined everywhere, or that Ρ acts from X into Y, and we write P: X -*• Y. In this subsection it is assumed that Υ is a ^Γ-space. In the study of an operator Ρ: Χ -» Υ a fundamental role is played by the Hahn-Banach-Kantorovich theorem [21], which asserts that every linear operator A o : X o -»• Y, where X o is a subspace of X, that is majorized on X o by Ρ can be extended to a linear operator 4: X -> Υ with preservation of the majorization. Kutateladze has proposed to state this theorem as follows.HAHN-BANACH-KANTOROVICH THEOREM. Let X be a vector space, X o a subspace of it, and Υ a K-space. Further, let P: X -> Υ be a subadditive positive-homogeneous operator, and P x -Ρ + δ γ (Χ 0 ) the restriction of Ρ to X o . Then dP Xo = dP + d8 Y (X o j. It is known that if a partially ordered space Υ is such that for any X and Ρ the Hahn-Banach-Kantorovich theorem holds, then Υ is a K-spa.ce.It follows directly from the Hahn-Banach-Kantorovich theorem that for any χ G X the subdifferential dP(x) of an operator Ρ at a point χ is not empty (it suffices to set X o = (λχ) λεΛ , ^4 0 (λχ) = XPx in the theorem). From this it follows that bP is not empty and that Px = sup {Ax: A £ dP). Thus, every subadditive positive-homogeneous operator P: X -> Y, where Fis a K-spacQ, is sublinear.It is not hard to show that dP(x) = dP x , where the directional derivative P' x of Ρ at χ is defined byREMARK. Fel'dman [62] has shown that dP Xo = dP + 95 ^(^ο) also when Υ has the property of chain completeness and X o is a onedimensional subspace of X. From this it follows that bP(x) Φ φ for every subadditive positive-homogeneous operator P: X ->· Y, where Υ has the property of chain completeness, and, in particular, every such operator is sublinear.An important consequence of the Hahn-Banach-Kantorovich theorem is the following proposition, due to Levin [32]. PROPOSITION 1. Let X and Ζ be vector spaces, Υ a K-space, A G X{Z, X) and P: X -> Υ a sublinear operator. Then d(P ° A) = dP ο A.(If a subadditive positive-homogeneous operator Ρ: Χ -> Υ U { + °°} is such that dom Ρ Φ Χ, then the question whether dP(x) is non-empty at a point χ (and, in particular, whether dP= dP(0) if Ρ(0) Φ + °°) is substantially more complicated. This problem was studied by Fel'dman in [62]. In investigating