Let p be a prime number, and a an integer number not divisible by p. Prove that there is a positive integer b such that ab≡1(modp).