Solution
= Solution
Using $(a\cdot\sigma)(b\cdot\sigma)=(a\cdot b)I+i(a\times b)\cdot\sigma$ gives
$$
x\prime=x\cos(2\theta)-(n\times x)\sin(2\theta)+n(n\cdot x)(1-\cos(2\theta)).
$$
The sign follows from the convention $R=e^{i\theta n\cdot\sigma}$.