This choice corresponds to rotation in the positive sense (i.e., increasing
). The solution presented in
[
200
]
is obtained
by
, which gives rotation in a negative sense.