"Ehresmann prolongation" . "Ehresmann prolongation" . . .