equivalence relation proof