By contradiction, assume then belongs to the subspace of the polynomials of degree less or equal to , which is generated by: .

But is orthogonal to each of the elements of a set that generates it, hence it must be the polynomial !contradiction!now : hence