O ditado deveria ser atualizado por indução finita?