proving two equivalence classes are equal