some people may think that the theorem is true everywhere. however, the theorem is "not" true in more general number systems, like . this was first mentioned by ernst kummer in 1843, in his work on fermat's last theorem. for more information about that: read .