completed proof of existence lemmas in both directions