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