展开 西尔维斯特定理数论