read DET:

Rproof(1/(m+n+1)!,m,n,N,20,R):

quit: