Verify that R^2 with componentwise addition and scalar multiplication is a vector space over R