Ehresmann fibration theorem