shouldn't it be if p is any prime number or given than is not prime and the theorem hold true for