Lima, A. (1983). Uniqueness of Hahn-Banach extensions and liftings of linear dependences. MATHEMATICA SCANDINAVICA, 53, 97–113. https://doi.org/10.7146/math.scand.a-12019