B-5 最佳逼近元的存在性和唯一性