Original: This was first pointed out by Ernst Kummer in 1843 , in his work on Fermat 's Last Theorem .
Simplified: This was first mentioned by Ernst Kummer in 1843 , in his work on Fermat 's last theorem .