Proof that all natural numbers are transitive