Solution
= Solution
Since $O$ commutes with every <angular momentum operator>, it commutes with $J^2$. Taking a <matrix> element of $[O,J^2]=0$ gives
$$
\bigl(j'(j'+1)-j(j+1)\bigr)\langle j,m|O|j',m'\rangle=0.
$$
The allowed nonnegative values of $j$ make $j(j+1)$ injective, so the <matrix> element vanishes unless $j=j'$.