finished proof that IndistinguishabilityTwo is an equivalence