Ramified prime