Verify that the Hadamard codes generated by Sylvester’s construction are linear.
Check the closure w.r.t. the addition.