diff --git a/src/fa/lc/index.tex b/src/fa/lc/index.tex
index 204bed6..8d5eed1 100644
--- a/src/fa/lc/index.tex
+++ b/src/fa/lc/index.tex
@@ -14,3 +14,4 @@
 \input{./spaces-of-linear.tex}
 \input{./tensor.tex}
 \input{./nuclear.tex}
+\input{./nuclear-space.tex}
diff --git a/src/fa/lc/nuclear-space.tex b/src/fa/lc/nuclear-space.tex
new file mode 100644
index 0000000..748b88c
--- /dev/null
+++ b/src/fa/lc/nuclear-space.tex
@@ -0,0 +1,85 @@
+\section{Nuclear Spaces}
+\label{section:nuclear-space}
+
+\begin{definition}[Nuclear Space]
+\label{definition:nuclear-space}
+    Let $E$ be a separated locally convex space over $K \in \RC$, then the following are equivalent:
+    \begin{enumerate}
+        \item There exists a fundamental system of convex and circled neighbourhoods $\fB \subset \cn_E(0)$ such that for each $U \in \fB$, the canonical projection $\pi_U: E \to \wh E_U$ is nuclear. 
+        \item For each Banach space $F$ and $T \in L(E; F)$, $T$ is nuclear. 
+        \item For each convex and circled neighbourhood $U \in \cn_E(0)$, there exists $V \in \cn_E(0)$ with $V \subset U$ such that the induced map $\wh E_V \to \wh E_U$ is nuclear. 
+    \end{enumerate}
+    
+    If the above holds, then $E$ is a \textbf{nuclear space}. 
+\end{definition}
+\begin{proof}
+    (1) $\Rightarrow$ (2): Let $U = T^{-1}(B_F(0, 1))$, then there exists $V \in \fB$ with $V \subset U$. In which case, there exists $\wh T \in L(\wh E_V; F)$ such that the following diagram commutes: 
+    \[
+    \xymatrix{
+    E \ar@{->}[r]^{T} \ar@{->}[d]_{\pi_V} & F \\
+    \wh E_V \ar@{->}[ru]_{\wh T} & 
+    }
+    \]
+
+    Since $\pi_V \in N(E; \wh E_V)$, $T = \wh T \circ \pi_V$ is nuclear by \autoref{proposition:nuclear-gymnastics}. 
+
+    (2) $\Rightarrow$ (3): Let $U \in \cn_E(0)$, then the canonical map $\pi_U: E \to \wh E_U$ is nuclear. Thus there exists an equicontinuous sequence $\seq{\phi_n} \subset E^*$, $\seq{y_n} \subset B_{\wh E_U}(0, 1)$, and $\seq{\lambda_n} \subset K$ such that
+    \begin{enumerate}[label=(\alph*)]
+        \item For each $x \in E$, $\pi_U x = \sum_{n = 1}^\infty \lambda_n y_n \dpn{x, \phi_n}{E}$. 
+        \item $\sum_{n \in \natp}|\lambda_n| < \infty$. 
+    \end{enumerate}
+
+    Let $V = U \cap \bigcap_{n \in \natp}\phi_n^{-1}(B_K(0, 1))$, then by equicontinuity of $\seq{\phi_n}$, $V \in \cn_E(0)$. Moreover, for each $n \in \natp$, there exists $\wh \phi_n \in \wh E_V^*$ such that the following diagram commutes:
+    \[
+    \xymatrix{
+    E \ar@{->}[r]^{\phi_n} \ar@{->}[d]_{\pi_V} & K \\
+    \wh E_{V} \ar@{->}[ru]_{\widehat \phi_n} & 
+    }
+    \]
+    
+    As $V \subset \phi_n^{-1}(B_K(0, 1))$, $\normn{\widehat \phi_n}_{\wh E_V^*} \le 1$. Thus the induced map $\widehat \pi_U: \wh E_{V} \to \wh E_U$ takes the form
+    \[
+    \wh \pi_U x = \sum_{n = 1}^\infty \lambda_n y_n \dpn{x, \wh \phi_n}{\wh E_{V}}
+    \]
+
+    with
+    \[
+    \normn{\wh \pi_U}_{N(\wh E_{V}; \wh E_U)} \le \sum_{n \in \natp}|\lambda_n| \cdot \underbrace{\norm{y_n}_{\wh E_U}}_{\le 1} \cdot \underbrace{\normn{\wh \phi_n}_{\wh E_V^*}}_{\le 1} \le \sum_{n \in \natp}|\lambda_n| < \infty
+    \]
+
+    Therefore $\wh \pi_U$ is nuclear. 
+
+    (3) $\Rightarrow$ (1): Let $U \in \cn_E(0)$ be convex and circled, then there exists a convex circled neighbourhood $V \in \cn_E(0)$ such that the induced map $\wh \pi_U: \wh E_V \to \wh E_U$ is nuclear. In which case, the canonical map $\pi_U: E \to \wh E_U$ is the composition of $\pi_V$ and $\wh \pi_U$. Thus $\pi_U: E \to \wh E_U$ is nuclear by \autoref{proposition:nuclear-gymnastics}. 
+\end{proof}
+
+\begin{theorem}
+\label{theorem:nuclear-lp}
+    Let $E$ be a nuclear space over $K \in \RC$, $U \in \cn_E(0)$, and $p \in [1, \infty]$, then there exists $V \in \cn_E(0)$ with $V \subset U$ such that $\wh E_V$ is isomorphic to a subspace of $l^p(\natp; K)$ with equal norms.  
+\end{theorem}
+\begin{proof}[Proof, {{\cite[III.7.3]{SchaeferWolff}}}. ]
+    Assume without loss of generality that $U$ is convex and circled, and the canonical projection $\pi_U: E \to \wh E_U$ is nuclear. In which case, there exists an equicontinuous sequence $\seq{\phi_n} \subset E^*$, $\seq{y_n} \subset B_{\wh E_U}(0, 1)$, and $\seq{\lambda_n} \subset K$ such that
+    \begin{enumerate}[label=(\alph*)]
+        \item For each $x \in E$, $\pi_U x = \sum_{n = 1}^\infty \lambda_n y_n \dpn{x, \phi_n}{E}$. 
+        \item $\sum_{n \in \natp}|\lambda_n| < \infty$. 
+    \end{enumerate}
+
+    By rescaling, further assume without loss of generality that $\sum_{n \in \natp}|\lambda_n| = 1$ and $\lambda_n > 0$ for all $n \in \natp$. Under the convention that $1/\infty = 0$, define
+    \[
+    T: E \to l^p(\natp; K) \quad (Tx)_n = \lambda_n^{1/p}\dpn{x, \phi_n}{E}
+    \]
+
+    then for each $x \in E$, $\norm{Tx}_{l^p(\natp; K)} \le \norm{\pi_U x}_{\wh E_U}$, so $T$ is continuous. 
+    
+
+    On the other hand, 
+    \[
+        \normn{\pi_U x}_{\wh E_U} = \norm{\sum_{n = 1}^\infty \lambda_n y_n \dpn{x, \phi_n}{E}}_{\wh E_U} \le \sum_{n = 1}^\infty \lambda_n |\dpn{x, \phi_n}{E}|
+    \]
+
+    Let $q \in [1, \infty]$ be the Hölder conjugate of $p$. By \hyperref[Hölder's inequality]{theorem:holder} applied to $\bracsn{\lambda_n^{1/p}\dpn{x, \phi_n}{E}}_1^\infty$ and $\bracsn{\lambda_n^{1/q}}_1^\infty$, $\normn{\pi_U x}_{\wh E_U} \le \norm{Tx}_{l^p(\natp; K)}$. 
+
+    Finally, let $V = T^{-1}(B_{l^p(\natp; K)})$, then $V \subset U$, and $\wh E_V$ is isomorphic to $\ol{T(E)}$, with equal norms. 
+\end{proof}
+
+
+
diff --git a/src/fa/norm/hilbert.tex b/src/fa/norm/hilbert.tex
index fd7109a..9e949f0 100644
--- a/src/fa/norm/hilbert.tex
+++ b/src/fa/norm/hilbert.tex
@@ -369,3 +369,4 @@ A significant property of Hilbert spaces is that every closed subspace is comple
 \end{proof}
 
 
+