Ehresmann's theorem