Cliquer sur Aula 3 - Princípio de Indução finita 2 (16/04) pour ouvrir la ressource.