Theorem

7,979
reputation

That's it. $ \sum 1$