theorem Th18: :: PARSP_1:18

for PS being ParSp
for a, b being Element of PS holds a,b '||' a,b