Proof of Theorem 3.14, p. 282 — under (3.15) the query x_s lies in Span(e₁, …, e_{s−1}), so f(x_s) = f_s(x_s)

Initializing...

Proof of Theorem 3.14, p. 282 — under (3.15) the query x_s lies in Span(e₁, …, e_{s−1}), so f(x_s) = f_s(x_s) · Prove2Me