for s being Element of Rat-Module holds Lin {s} <> Rat-Module