“…Now, let us discuss an nontypical geometric constraint problem. Given are a set of constraints on four points P 1 , P 2 , P 3 , P 4 in E 3 : the distances from each point to the plane determined by the other three points, namely, d(P 1 , P 2 P 3 P 4 ), d(P 2 , P 3 P 4 P 1 ), d(P 3 , P 4 P 1 P 2 ), d(P 4 , P 1 P 2 P 3 ), m m m m m m Since any tetrahedron has 6 freedoms up to isometries, it is possible to establish a formula connecting the seven quantities h 1 , h 2 , h 3 , h 4 , τ 12 , τ 13 , τ 14 The following, which was proved repeatedly in literatures (see [2] and [10] for the history and proofs), gives a very simple equality.…”