verify that R² is a vector space