read DET:
print(`Special case of Theorem 33 of Krathenthaler's Complement`):

Rproof(binomial(4+2*m+2*n,2+m+n)/(m+n+3),m,n,N,20,R);
time();
quit: