右辺の素因数分解でもしたら?