Def/Principal ideal 1