RE: proving prime number?