In brief, the Main theorem states: For every closed subalgebra $P$ of $C\sp *(X)$ with $1\in P$, there is a compact Hausdorff space $\scr M(X)$ and a map $i\sp *\sb P(g)=g\circ i\sb P\colon C\sp *(\scr M(P))\to C\sp *(X)$ which is one-to-one with image $P$. The set $\scr M(P)$ is the set of all subalgebras $\tau$ of $P$ which are maximal with respect to the property ($*$) given $\alpha\in\tau$ the set $\alpha\sp {-1}(-\epsilon,\epsilon)$ is not empty for all $\epsilon>0$. The topology on $\scr M(P)$ has as a base $\{\scr N(\alpha)\colon\ \alpha\in P\}$, where for each $\alpha\in P$ the set $\scr N(\alpha)=\{\tau\in\scr M(P)\colon \alpha\notin\tau\}$. The authors feel that this functional approach to these four theorems, and the straightforward development of their presentation (which can be presented as a sequence of problems) provide a beneficial workout for students.