proving two equivalence classes are equivalent