"Neste caso, deve-se provar que a
propriedade vale para um elemento inicial (que não é gerado a
partir de outros) e também se deve provar que a regra de
geração preserva a propriedade, ou seja, se um elemento n
apresenta a propriedade, então o elemento n+1, gerado pela
regra, também vai necessariamente apresentar a propriedade.
Se essas duas provas forem realizadas, então se pode concluir,
formalmente, que todos os elementos apresentam a
propriedade. "