Texto-base 1 - Como provar o Princípio das gavetas usando o Princípio de Indução Finita