let rec pierwsza' (n: int) (k: int) =
    match n, k with
    | 1, _ -> false
    | 2, _ -> true
    | _, 2 -> not ((n % 2) = 0)
    | _, _ -> not ((n % k) = 0) && pierwsza' n (k-1)

let pierwsza n = pierwsza' n (n-1)