n Prime
Check primeprob(n,k)=T
nPrime Pr( [A,B](n)=YES ) = 1