== An example of the theorem please. == 

 Unless I have been pretty dubious in my search for a actual example of the theory being proved TRUE, can I say that even in the 80's, when the morons who write this kind of nonsense in The Sun - a little known gutter tabloid published in the UK by The Dirty Digger - claimed that the expression had been evaluated, I saw that it does not make logical sense. 

 I say this as a software developer, not as a mathematician. 

 Just imagine the base-point of a triangle wedged in-between xn and yn. As x and y increase, the angle 'V' grows, wedging the probability of evaluation apart as the left side of the equation gets heavier. And if the left side just gets heavier, how will the equation balance? 

 But, just as a exercise in logic, I have written a short Pascal program to test all combinations of the expression with all four values set between 3 and 4096. I'm leaving it to run overnight. I have placed the program on my server with the Delphi/Pascal source for anybody to play with. It is pretty self explanatory. 

 The program can be accessed on my server... http://www.crysania.co.uk/fermat/fermat.zip