progress on proving the equivalence between to defintions of similarity between two relations