For each statement below about natural numbers, decide whether it is true or false. If it is true, prove it; if it is false, give a counterexample.