有理数全体Qにおいて関係〜を次のように定める

a〜ｂ:=0でない整数m,nがありa^m=b^nとなる。
このとき、〜はQ上の同地関係になる事を示せ。

誰かお願いします…＞＜