The matrix
is orthogonal.
The vector is transformed by the orthogonal matrix above into
Thus, corresponds to a rotation of angle counter-clockwise.