reconsider ZR = Rat-Module as divisible Z_Module ;
take ZR ; :: thesis: not ZR is finitely-generated
thus not ZR is finitely-generated ; :: thesis: verum