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

RproofP(binomial(2*p+2*m+2*n,p+m+n)/(p+m+n+1),m,n,N,20,R,p,1,10);
time();
quit: