For now, without proof you can get the direction cosine matrix (DCM) from the axis angle of rotation by