Formatting is wild there my dawg. Fermat’s sufficiently recognisable tho’ that I know what it meant to say

The proof is actually pretty simple but the character limit on my instance is too small to contain it