Lima A. Uniqueness of Hahn-Banach extensions and liftings of linear dependences. Math. Scand. 1983;53:97-113. doi:10.7146/math.scand.a-12019