> But in any case you missed the substantial point of my comment: whether or not FLT is true

but that is you missing my point, a person finding a succinct machine verifiable proof demonstrates better knowledge of the basic relationships than a convoluted putative proof

integers, integer powers, primes,... none of that has any bearing on cryptography?