Imagem de fundo

P(n) é verdadeira para todos os números naturais.