for s, t being Element of Rat-Module st s <> t holds
not {s,t} is linearly-independent