を素数，を正整数，を整数とする． を $$f(x) = a x + b$$ で定める． 命題1 がの倍数であると仮定する． このとき次が成立する． の不動点，すなわち $$f(x) = x$$ を満たすが存在する． の不動点は一意である． 任意のについて次で定義される数列: $$ x_n …