No.
f(x,y) is the minimum, over
all
valid workfunctions w and over all points p in M which map to cell(x,y), of w(p). We will see an actual counter-example to the question in the next lesson.