5.2 Proposition. Let f (X, d)-(9,p) be a function and a € X, a = f...