-H(x)Hm(x)Hn(x)-x2x=212(+m+n)!m!n!π(12+12m-12n)!(12m+12n-12)!(12n+12-12m)!,