User talk:TakuyaMurata/Proper base change theorem