These proofs are valid for all positive integers because bigger numbers do not change any part of the argument.