“…Logo, y| r dπ(x, y), π ∈ Π(F, G). − Y| r ) d r r (F, G), o que conclui a demonstração.Na verdade, em alguns trabalhos[17,41,92], o Lema 7.2 é considerado como definição de distância Mallows. Seguindo essa mesma linha, enunciamos o lema anterior em forma de definição.…”