Let n be a positive integer and let f: [0..n] → [0..n] be an

injective function. Define the function g: [0..n] → Z as g(x) = n-

(f(x))2. Prove that g is also injective.