I'm sorry that's a little hard to make out, presumably what it says is that if were solutions then and so but since is prime and we may conclude that and so and so we must have that but in the same spirit we see that this implies and so and since is prime and we may conclude that and so and so our equation becomes, after dividing both sides by , the following but this says that but it's evident that isn't a quadratic residue /