Theorem

8,459
reputation

That's it. $ \sum 1$