Theorem

8,359
reputation

That's it. $ \sum 1$