A note on stably closed maps of locales

Call a map f : Y→X of locales proper if f is a closed map, and the left adjoint image to taking inverse images of closed sublocales preserves filtered infima. We show that f is proper whenever id×f : Z×Y→Z×X is closed for all locales Z.