De la Proposición 10.5 se desprende que, si c es un valor regular de ' entonces, para cada u 2M; existe un subespacio cerrado Wu de Y tal que la función � : TuM �Wu ! Y; �(v; w) := v + w; es un isomor�smo de Banach. El teorema de la función implicita, que enunciaremos a continuación, garantiza que M se puede expresar localmente como la grá�ca de una función cuyo dominio es un abierto de TuM y cuyo codominio es Wu: