Theorem

7,367
reputation
7
52
93

That's it. $ \sum 1$