M⁡(a,b,z), z1-b⁢M⁡(a-b+1,2-b,z),