Initial add of LaTeX paper.
Added a proof, and some editing/corrections.
\left\langle -> \langle
\right\rangle -> \rangle
Committing the longwinded version of the proof that a left identity
implies a right identity, for peace of mind.  I think it can be
radically simplified.
Simplified the proof that a left identity implies a right identity.
Added proof that right identity implies left identity.
Added some more definitions.
Added the last three theorems from the original paper.  Proved one;
the others are TODOs.
Grooming.
Added a corollary to the proof that some determinants do not exist due
to units.
Grooming.
Fixed excessive use of the word "consider".
Laplacian -> Laplace