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