. . . "Further, since K is an ideal, [x.sup.2] =" . .