andprime p n = p && prime n
allprime xs  = foldl andprime True xs