Puesto que 0 es una función inicial, tenemos 0 ∈ prim.