(a) Using the commutation relations of angular momentum, verify the validity of the (Jacobi) identity: [J^x,[J^y,J^z]]+[J^y,[J^z,J^x]]+[J^z,[J^x,J^y]]=0.
(b) Prove the following identity: [J^x2,J^y2]=[J^y2,J^z2]=[J^z2,J^x2].
(c) Calculate the expressions of L^−L^+Ylm(θ,φ) and L^+L^−Ylm(θ,φ), and then infer the commutator [L^+L^−,L^−L^+]Ylm(θ,φ).