Every left ideal I in R is finitely generated, i.e. there exist elements a1, .., an in I such that I = Ra1 + .. + Ran [REF].
Every non-empty set of left ideals of R, partially ordered by inclusion, has a maximal element with respect to set inclusion [REF].