An extension of a best approximation theorem. (1996)