variedades diferenciables, requiriendo que