Intuition: Dual Space is always Banach Theorem. Let $X$ be a normed space and $Y$ be a Banach space. Then the set of continuous linear maps $L(X,Y)$ is a Banach space (with the operator norm).
From the well-known theorem above, we get an immediate consequence: Dual spaces $X^*$ are always Banach spaces.
Why should that be true intuitively? (I am not looking for a proof.)
I'd like to think that somehow, the space $L(X,Y)$ plays more on $Y$ than on $X$, so it inherites being Banach from $Y$. Though, I can't quite make out a clear intuition for all this. 
 A: If you have a sequence of functionals $f_n:X\to\mathbb R$ which is Cauchy in the operator norm, then in particular this implies that for any $x\in X$ the sequence $f_n(x)$ is Cauchy in $\mathbb R$, which means that it has a limit, which we denote by $f(x)$. This gives us a function $f:X\to\mathbb R$ such that $f_n$ converges to $f$ pointwise. Intuitively one might expect that $f$ is then in fact the limit of $f_n$ in $X^*$ - at the very least $f$ is a candidate to be one, and we just need to show that it works.
From there it's actually easy to get a complete proof - it's pretty clear that $f$ is a linear functional, so we just would need to check it's bounded and $f_n$ in fact converge to $f$, which is just a matter of writing down an estimate uniform in $X$.
A: The lemma stated doesn't have to really do with the Theorem you mentioned, but rather has to do with $\mathbb R$ being a complete normed space. Noting that $X$ is Banach and $\mathbb R$ is Banach too, it's easy to show that for $x \in X$, the sequence $f_n(x)$ would be Cauchy in $\mathbb R$, which falls down to showing that it converges into it, thus the dual $X^*$ will be complete as well and thus Banach.
