Isn't that a completely different question? OP was demonstrating that the existence of natural numbers is trivial to show, unlike actual infinity.