theorem Th14: :: PARSP_1:14

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