“
Kami memutuskan bahwa 'sepele' berarti 'terbukti'. Jadi kami bercanda dengan ahli matematika: Kami memiliki teorema baru - bahwa ahli matematika hanya dapat membuktikan teorema yang remeh, karena setiap teorema yang dibuktikan adalah remeh. Asli: 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.