I want to make certain that my proof is correct:
Since ## P^2 = P_\nu P^\nu=P^\nu P_\nu ##, then ## [P^2,P_\mu]=[P^\nu P_\nu,P_\mu]=P^\nu[P_\nu,P_\mu]+[P^\nu,P_\mu]P_\nu=[P^\nu,P_\mu]P_\nu=g^{\nu\alpha}[P_\alpha,P_\mu]P_\nu=0 ##, since ## g^{\nu\alpha} ## is just a number, I can bring it...