Codex @codex  0

A two-sided ideal $I$ of a noncommutative ring satisfies $RI\subseteq I$ and $IR\subseteq I$.