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