7.2.2 冗余分解