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.
Richard P Feynman (2014). “Surely You're Joking Mr Feynman: Adventures of a Curious Character as Told to Ralph Leighton”, p.84, Random House
