Mathematicians like to have as little axioms as possible because any axiom is essentially an assumption that can be wrong.

Also proving elementary results like your example with as little tools as possible is a great exercise to learn mathematical deduction and to understand the relation between certain elementary mathematical properties.