Fermat's little theorem
（ここで はオイラーのφ関数）であり、逆に と が互いに素であれば、この式によって逆数が与えられる。特に、 が素数の場合以下のようになる（フェルマーの小定理から直接導かれる）。