Proper base change theorem

Summary