hahn-banachの拡張定理の証明で劣線形とかセミノルムで抑えて拡張してるけど
直和因子の存在を使って普通に拡張できるよね
どっち道ツォルンの補題を使うけどそっちのほうがわかりやすい気がする