This derivation assumes no slipping, and that the rotation radius is the same as the radius of the sphere which is not quite true if the sphere rolls, as it does here, in a channel.