(Verifying that degree at most 3 polynomials form a vector space. )...