make 2p+1 test confirm divisibility