prime ideal