List of proofs/pages, for own reference:
Angular Bisector Vector
Cartesian metric is rotation invariant
Definition:Outer Product
Definition:Vector Length
Edge of Polyhedron has no Curvature
Factor Matrix in the Inner Product
Thales' Theorem