theorem Th6: :: PARSP_2:6

for F being Field holds
not for a, b, c being Element of (MPS F) holds a,b '||' a,c