theorem LMThFRat32: :: ZMODUL07:17

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