. . . "If p is a prime number, then there exist ??(p-1) distinct primitive roots modulo p." .