. . . "where p is a prime and a and b are positive integers." .