Category:Left Ideal is Left Module over Ring