Write the inverse transformation matrix for a 70° rotation of the
2D Cartesian coordinate axes and the direct transformation matrix for
the rotation of a vector through an angle of 70° degrees. Show that the
product of these two transformation matrices is the identity matrix.