Fermat's theorem on the sum of two forty-seventh powers

GPTKB entity