reference for base-change morphism
proper pushforward