正整数の有理数乗は、絶対値として無理数か整数かのいずれかをとる