Theorem 2.1 may be proved by a technique analogous to that employed above in the 3-
dimensional case, by expressing the area of the opposing face in terms of determinant identities
related to higher-dimensional analogs of the three-dimensional cross product. However, there is a
simpler proof, pointed out to the author by Luc Tartar [17], which is the one we have chosen to
present here.