"Comparing “Heaven is for Real” with “God’s Not Dead” + an interview with “Heaven” writer/director Randall Wallace". Interview with John W. Kennedy, www.beliefnet.com.
Scribbled note in the margins of his copy of Diophantus's Arithmetica. He did not live to provide the promised proof, and the conjecture became famous as Fermat's Last Theorem. In 1993 Andrew Wiles, a British mathematician, claimed to have discovered the proof.