Redirecting to Ehresmann's theorem