A proof of the IK=K conjecture using spherical harmonic expansions