Lima, A. “Uniqueness of Hahn-Banach Extensions and Liftings of Linear Dependences”. MATHEMATICA SCANDINAVICA, vol. 53, Dec. 1983, pp. 97-113, doi:10.7146/math.scand.a-12019.