theorem :: ZMODUL07:19

for A being finite Subset of Rat-Module holds rank (Lin A) <= 1