Another case of base change for twisted inverse image

This result can still be generalized a bit more but it doesn't really
seem worth it. We still have to explore the argument using the equality
a' \circ b = b' \circ a to see if that gives something for base change.