集合A上の2項関係Rに対しRの逆関数R^-1を次式で定義する
R^-1={(a,b)|(b,a)∈R}
2つの同値類[x1]Rと[x2]Rに対し[x1]R∩[x2]R≠空集合ならば[x1]R=[x2]Rであることを同値類の定義に基づいて証明せよ