展开 史密斯标准型唯一吗