4.3.1 唯一分解