é uma propriedade relativa aos números naturais. Sabe-se que:

  1. 1) é verdadeira para o natural ;

  2. 2) Se é verdadeira para , então é verdadeira para ;

  3. 3) Se é verdadeira para , , então é verdadeira para .

Pode-se concluir que: