Is there a similar statement to the constant rank theorem for finite dimdimensional real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dimdimensional Banach space and $M$ is a finite dimdimensional real smooth manifold?