順像定理を少しだけ拡張したい