¹f(i) is the result of evaluating the polynomial f at the value x = i. Here we assume all arithmetic is over the field Z_p, so we omit explicit mention of mod p.