J. Kowynia, “The unicity of best approximation in a space of compact operators”, Math. Scand., vol. 108, no. 1, pp. 146–160, Mar. 2011, doi: 10.7146/math.scand.a-15164.