J. Kowynia, “The unicity of best approximation in a space of compact operators”, Math. Scand., vol. 108, no. 1, pp. 146–160, Mar. 2011.