展开 史密斯正规型定理