For any figure X there will be Jxj ten* x with value 1, and III • (III - 1) „ 2 tarns value 1* Then the predicate la equal to ♦M(X) « f(2H - l).|xl - |x|-(jxj - 1) - M2 * 0\ - r<|x| - H)2 SO and the only (Integer) value of |x| for which this Is true is |x| « M. Observe that, by decreasing the… … Rjxi - 5) 2 S4l - T3 S jxl s7l Fig. 1.4 Note that the linear fona for the counting function does not contain R explicitly. Hence it works as well as for an infinite space R. Q.E.D. /
