Tetrahedral Analog of the Pythagorean Theorem

I did much of my PhD work on high-dimensional tetrahedral complexes (so-called simplicial complexes), and somehow was unaware of this lovely and quite intuitive result.

Thanks, John Cook!