モストウの剛性定理は、formula_63であるすべてのformula_64に対する四面体の体積の値が一意に定まることを保証している。