Fermat's little theorem
この構造は、フェルマーの小定理（や、その一般化であるオイラーの定理）のようなディオファントス方程式を解くのに利用できる。フェルマーの二平方定理のデデキントによる証明でも用いられた。