Statement of the proper base change theorem