Neat visualisations and very erudite article. Thanks!

My observation is that the final formula is equivalent to two tetrahedra joined on a shared face. There must be a good way to manipulate that directly to get the constant sums. I can find a way but that requires relative rotation of the second tetrahedron. There might be a better way.