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