There is more than one flavor of this theorem:
References
Zeidler, E. Applied Functional Analysis: Applications to Mathematical Physics. New York: Springer-Verlag, 1995.