theorem Th20: :: PARSP_1:20

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