verify that R³ is a vector space