Bootstrapping the Mazur-Orlicz-König Theorem and the Hahn-Banach Lagrange Theorem

We give some extensions of König's extension of the Mazur-Orlicz theorem. These extensions include generalizations of a surprising recent result of Sun Chuanfeng, and generalizations to the product of more than two spaces of the "Hahn-Banach-Lagrange" theorem.