k\not\in\{p_n\,|\,n\in N\}