“We have concluded that the trivial mathematics is, on the whole, useful, and that the real mathematics, on the whole, is not.”