The problem in number theory known as "Fermat's Last Theorem" has repeatedly received attention in fiction and popular culture. The theorem was proved by Andrew Wiles in 1994. Prose fiction The theorem plays a key role in the 1948 mystery novel Murder by Mathematics by Hector Hawton. Arthur Porges' short story "The Devil and Simon Flagg" features a mathematician who bargains with the Devil that the latter cannot produce a proof of Fermat's Last Theorem within twenty-four hours. The devil is not successful and is last seen beginning a collaboration with the hero. The story was first published in 1954 in The Magazine of Fantasy and Science Fiction. In Douglas Hofstadter's 1979 book Gödel, Escher, Bach, the statement, "I have discovered a truly remarkable proof of this theorem which this margin is too small to contain" is repeatedly rephrased and satirized, including a pun on "fermata". In Robert Forward's 1984/1985 science fiction novel Rocheworld, Fermat's Last Theorem is unproved far enough into the future for interstellar explorers to describe it to one of the mathematically inclined natives of another star system, who finds a proof. In the 2003 book The Oxford Murders by Guillermo Martinez, Wiles's announcement in Cambridge of his proof of Fermat's Last Theorem forms a peripheral part of the action. In Stieg Larsson's 2006 book The Girl Who Played With Fire, the main character Lisbeth Salander is mesmerized by the theorem. Fields medalist Timothy Gowers criticized Larsson's portrayal of the theorem as muddled and confused. In Jasper Fforde's 2007 book First Among Sequels, 9 year-old Tuesday Next, seeing the equation on the sixth-form's math classroom's chalkboard, and thinking it homework, finds a simple counterexample. Arthur C. Clarke and Frederik Pohl's 2008 novel The Last Theorem tells of the rise to fame and world prominence of a young Sri Lankan mathematician who devises an elegant proof of the theorem. Television "The Royale", an episode (first aired 27 March 1989) of Star Trek: The Next Generation, begins with Picard attempting to solve the puzzle in his ready room; he remarks to Riker that the theorem had remained unproven for 800 years. The captain ends the episode with the line "Like Fermat's theorem, it is a puzzle we may never solve." Wiles' proof was released five years after the episode aired. The theorem was again mentioned in a subsequent Star Trek: Deep Space Nine episode called "Facets" in June 1995,