read DET:
a:=(m+n+p)!:
RproofP(a,m,n,N,20,R,p,1,10):
quit: