Proper base change theorem