>>40
分数が左辺と右辺で等しい場合で、左辺が既約であれば、右辺の分母をA
左辺の分母をBとし、nとmを整数としたときに
A=nB か B=mA
のどちらかしかありません。このうちB=mAでないということを証明しています。