(b+a⁢x′)⁢Ix⁡(a,b)=a⁢x′⁢Ix⁡(a+1,b-1)+b⁢Ix⁡(a,b+1),