Theorem
7,689
reputation
8
56
96
That's it. $ \sum 1$