 Dual of a Reed-Muller code

Under the standard binary inner product,The product of representing polynomials has degree at most $d-1$, so its evaluation word has even weight; equality follows by comparing dimensions.