We decided that 'trivial' means 'proved'. 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.

Surely You're Joking Mr Feynman: Adventures of a Curious Character as Told to Ralph Leighton (ed. Random House, 2014) - ISBN: 9781448181476