Base change/Standard basis in R^4/Example/Exercise