Pasu inductivu: Demuéstrase que, si P n {displaystyle P_{n},} ye cierta, esto ye, como hipótesis inductiva, entós P n + 1 {displaystyle P_{n+1},} ser tamién, y esto ensin condición sobre lenteru natural n {displaystyle n,} (relación dinducción.