F12⁡(a+ⅈ⁢y,d+ⅈ⁢ya+d;z)⁢F12⁡(b-ⅈ⁢y,c-ⅈ⁢yb+c;z)=∑n=0∞Wn⁡(y2;a,b,c,d)(a+d)n⁢(b+c)n⁢n!⁢zn,