0 Problem 4, page 54 (a) Let C' be a wellordered set and let f : C > 0 be a onetoone function such that a g b implies f (a) g f (b). Prove that a g f (a) for all a in C. (b) Deduce Theorem 20 om part (a)