Hahn-Banch extension theorem