 Since

it is the case that formula_83 is skew-symmetric, i.e., formula_84.This is also the case for our formula_26, since

According to the general properties of the matrix representation of the cross product it then follows that formula_26 must be the cross product operator of exactly one vector formula_25.Third, it must also need to be shown that the above expression for formula_23 is a rotation matrix.