Let be a ring with 1 and let be a left unital -module. Suppose there exists such that and . Prove that .
First, recall by this previous exercise that and are both submodules of . Suppose . Then , so that . Finally, suppose ; say . Now , so that . Now , so that . Thus , and we have . So .