Isso que você disse tá certo.
O problema é de interpretação neste caso, a volta da proposição deve ser interpetada como: "Dado um psedo-fluxo que respeita u, EXISTE um fluxo que respeita u.". Até porque um psedo-fluxo não determina univocamente um fluxo, não existe uma bijeção neste caso, a menos é claro que você exija mais do fluxo, como pedir que ele seja normalizado.
Fórum