Pythagorean theorem
This is a generalization of the Pythagorean theorem to a tetrahedron.