展开 西尔维斯特问题证明