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.