"d" を割り切らない素数 "p" が "f""n" の原始約数であるための必要十分条件は "p" が "n" を割り切らないことである。