Fermat vs. Pythagoras#1156