read DET: RproofP(binomial(2*p+m+n,p-m+n),m,n,N,30,R,p,100,125); time();