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