Wrote final theorem.

Need to change to using "isometries" and "distance preserving
transformations" for a more formal proof than the current geometric one.

After that, change to EC format.