Fermat's theorem on the sum of two seventeenth powers

GPTKB entity