Description: A Noetherian left module is finitely generated. (Contributed by Stefan O'Rear, 12-Dec-2014)