Description: Alternate proof for lidl1 not using rnglidl1 : Every ring contains a unit ideal. (Contributed by Stefan O'Rear, 3-Jan-2015) (Proof modification is discouraged.) (New usage is discouraged.)