We discuss the proof of the following Theorem
Assume $E$ is a $C^{p}$ real Banach manifold, and $f:E\circlearrowleft$, $f\circ f=f$ is a $C^{p}$ retraction, where $1\leq p\leq +\infty$. Then the retract $f(E)$ is a $C^{p}$ sub Banach manifold of $E$.