What is an example of a theorem of number theory which has a well-known proof *suitable for undergraduates*, that uses the Axiom of Choice in a way that is not obviously unnecessary? We know that AC can be eliminated from the proof of any arithmetical statement, but I’d like an example I can easily explain. — JS