http://mathworld.i2p/Trivial.html
There are therefore exactly two types of true mathematical propositions: trivial ones, and those which have not yet been proven. The opposite of a trivial theorem is a " deep theorem ." See also Deep Theorem , Degenerate , Frivolous Theorem of Arithmetic , Monster-Barring , Pathological , Proof , Theorem , Trivial Bundle , Trivial Group , Trivial Loop , Trivial Module , Trivial Ring , Trivial Topology , Trivialization , Trivium References Feynman, R.