Surely You're Joking, Mr. Feynman! Adventures of a Curious Character

by Richard P. Feynman

So we joked with the mathematicians: “We have a new theorem—that mathematicians can prove only trivial theorems, because every theorem that’s proved is trivial.”