Universally quantified statements of the form, for all natural numbers n, some property a n holds, where the quantification is over all natural numbers are often proved by a method known as Induction. 