Date: Nov 28, 2012 2:46 AM Author: quasi Subject: Re: From Fermat little theorem to Fermat Last Theorem John Jens wrote:

>If a > c and/or b > c it's obvious that a^p + b^p > c^p.

I made it very clear in my prior replies that it's fine to

assume 0 < a <= b < c, so your statement above is totally

superfluous.

>We can choose z ,y ,z > p , x <= y < z and using

>modulus properties a ,b ,c, a <= b < c , a < p

You _can_ assume 0 < a <= b < c, but you _can't_ justify

the inequality a < p.

quasi