lower prime ideal