Related:

• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• PFLT Prove Fermat's Last Theorem.
• On the other hand, it is impossible for a cube to be written as a sum of two cubes or a fourth power to be written as a sum of two fourth powers o
  in general, for any number which is a power greater than the second to be written as a sum of two like powers....
• We are leaders of the world of the space program. We have been the leaders of the world of our.
  .. of the space program and we're not going to continue where we're going to go, not withstanding the Soviet Union's demise and collapse - the former Soviet Union - we now have independent republics which used to be called the Soviet Union....
• Jimbo: Muh. Looks like we lost him. Dolph: Yeah.
  Well, we proved our point. He'll think twice next time he tries to defend his business....
• If If, Then Then. -- The Theorem Theorem