Sea E y F dos haces vectoriales sobre un múltiple diferenciable M.