(i) K es un ideal (bilateral).