ａは整数でｎは正の整数とする。
任意の素数ｐに対して整数ｘが存在しｘ＾ｎ≡ａ（ｍｏｄ．ｐ）となるとき
ｘ＾ｎ＝ａとなる整数ｘは存在するか。