4.3 粗糙函数依赖与冗余因子