While reading through my notes for a module I'm revising (barely...), I come across a section with the following:
Let X, Y be sets, |X|=x, |Y|=y. Then if y>6x, an injective function F:X->Y exists.
Now, okay, that's a fairly sensible statement. Except this is third year mathematics, and something like that is well below even first year, making it a truly trivial statement at this point.
(There was a reason for it, though, of course, it's still just funny at this level).