Part 1 is false and requires a counterexample while part 2 is true and requires a proof. A useful conceptual insight would be for the prover to understand the distinction Watson, Sandefur, Mason, Stylianides between‘one-to-one’ and ‘onto’. Plausible technical handles would depend on what students had previously found useful in manipulating function composition.