The theorem itself is fairly trivial, the article's goal is helping to build intuitions guided by the theorem. That's why it is so long.