F10⁡(-;a;z)⁢F10⁡(-;b;z)=F32⁡(12⁢(a+b),12⁢(a+b-1)a,b,a+b-1;4⁢z).