9.8.5 偏函数