Du får använda dig av följande predikat: Prim(x) = “x är ett primtal