If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.

翻译：如果K和G是有限抽象单纯复形，且K是G的子复形，则在对特征值列表进行左补零处理后，K的Hodge拉普拉斯算子的特征值不大于G的Hodge拉普拉斯算子的特征值。