P é uma propriedade relativa aos números naturais. Sabe-se que:
1) P é verdadeira para o natural n = 10;
2) se P é verdadeira para n, então P é verdadeira para 2n;
3) se P é verdadeira para n, n > 2, então P é verdadeira para n - 2.
Pode-se concluir que: