  This article proves Lurie's theorem using recent advances in spectral
algebraic geometry and elliptic cohomology theories by Jacob Lurie. This is the
first publicly available proof of this powerful theorem, which states the
existence of a sheaf of $\mathbf{E}_\infty$-rings on a small \'{e}tale site
over the classical moduli stack of $p$-divisible groups of height $n$. To
further demonstrate the utility of such a theorem connecting algebraic geometry
to homotopy theory, we reconstruct many known cohomology theories as well as
some known (and some not previously written down) operations on these theories.
