Verify (4.53) and show that, at each step of the median polish algorithm, the sum

∑

i

∑

j

|yij − ????̂ − ????̂i − ̂????j| does not increase.