Here's the theorem we are going to prove: it is fairly painless and the result is quite dramatic.