を正の整数として、 が成立しているとする（ここで ）。 さらに たちは互いに素であるとする。 （実は coprime と pairwise coprime は意味が違うが、今は前者の意味である。） そうすると実は r は整数であることがわかる。 これは、整数の素因数分解の一意…