**The author’s Elementary Fermat argument** This was published on line in Blogs (1) and (2) in 2020 after being turned down by the *Mathematical Gazette* on the grounds that although the referees could not find a mistake, <<*there must be a mistake in it somewhere*>>! What does this brazenly presumptive dismissal say? It says that there is a professional animus against any attempt to rediscover Fermat’s lost elementary proof. This has become, in effect, a taboo: one which is perpetuating obfuscation over enlightenment, and ensuring that nothing will ever be done to resolve the situation. It is dooming the elementary subject to a deep subliminal sense of inadequacy, because Pierre de Fermat, a capable mathematician, probably had something essentially similar (i.e. a really elementary) proof in his hands more than 350 years ago! It is a scandal of the first order that capable higher mathematicians have left this situation unresolved for all this time. They should have appointed a task force in the 17^{th} century with the distinct instruction to <<put-in whatever effort is necessary to rediscover the missing proof>>.

A number of friends and acquaintances (accomplished higher mathematicians) have taken a quick look at my 2020 argument, but they have made it clear that they are *determined* *at all costs* to “find” instant, trivial, imagined “objections”. This has then provided them with a flimsy excuse which —they have supposed— justifies them in abandoning the enquiry.

In response, the 24th blog on mathsforrenewingreason.com shows plainly how the proof applies for fifth powers (*x*^{5} + *y*^{5} = *z*^{5}), in the major case when the inner tray T* _{ab}* of (

When *p* = 5 the majority case argument is much easier to follow than that of the original 2020 generalised proof. It can also easily be seen to generalise to whatever value we substitute for *5*. It will, no doubt, finally become recognised, but don’t hold your breath, because confidence in maths at all levels is currently at an all-time low.

**The ‘Glitch’ mentioned in Blog 25 **

In the previous Blog (25) a “glitch” was reported in the original 2020 minor argument. However closer inspection shows that it was only the relatively slight matter that *Y* and *L* were mistreated as natural numbers. Proposition (37) was that when *p* =- 7

(*Y+N _{1}ABZ*)

We can find out whether the requirement (1) is met by substituting *A*=0 in (1).

When *A*=0 this becomes *Y** ^{7}*/7

But when *A*= 0, *L* and *Y* become specific numbers which are denoted *L* and *Y*;

they are not, however, necessarily natural numbers or even rational numbers.

We look at the specifics here: [7* ^{6}* = 117649.]

When *A*=0, T* _{ab}* =

Now *Y* = T* _{ab}*/7

*L* = T* _{ab}*/49

So (2) becomes (*b** ^{24}*/7

It follows that the condition (1) is not met and that this is a contradiction, because the expression for *v* is composed entirely of terms with the factor *A* apart from *b** ^{4}* at the far end of T

Substituting any other prime number for ‘7’ in this reasoning obviously generalises the argument to all possible cases except *p*=2 and powers of 2.

What is absolutely clear is that *v-b** ^{4}* has the factor

This establishes the minor case of the Fermat Result when *p*=7. It is easier to follow in this specific case rather than the general case. *p*=7 is the simplest minor case, because when *p*=5, the minor case does not arise.

Both the major and minor cases have now been established when *p*= 5 and *p* = 7 respectively, but of course this is just a clear sign that the form of reasoning in the general case is valid. It should be a moment for much rejoicing, because a dark cloud which has hung over elementary mathematics since the early 17^{th} century, has, at last, been resolved. However morale in both elementary and higher maths is currently at an all-time low, and it is anyone’s guess how long it will take for this relief to be widely felt.

CHRISTOPHER ORMELL 1^{st} July 2022