theorem :: PARSP_1:28

for PS being ParSp
for a, b, c, d being Element of PS st not a,b '||' c,d holds
( a <> b & c <> d ) by Def11, Th20;