Prime ideal of a valuation