Esta exigencia es la base de la definición de estructura diferenciable.