Incluido o enunciado da proposicao que garante que a seq d_n é idd