 This avoids having to prove each case individually.A variant of mathematical induction is proof by infinite descent, which can be used, for example, to prove the irrationality of the square root of two.A common application of proof by mathematical induction is to prove that a property known to hold for one number holds for all natural numbers