Base change/Transformation matrix/R^4/Standard basis and permuted standard basis/Exercise