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, A Map of a Cat? (p. 70), W.W. Norton & Company, Inc. 1985