A1,B1,C1A_1,B_1,C_1A1,B1,C1 から D0D_0D0 を引き、得られたベクトルを基底 A,B,CA,B,CA,B,C で表す。その係数行列が表示の MMM であり、元の四面体の行列は単位行列である。