define some proofs for natural numbers