allprime xs = foldl (\p n -> p && prime n) True xs