Proper Base-change Theorem

We will give a proof of the proper base-change theorem, which requires reducing the given claim to a much simpler case and then applying consequences of Artin approximation.