theorem :: PARSP_2:23

for FdSp being FanodesSp
for a, b, c, p, q, o being Element of FdSp st not o,a,c are_collinear & o,a,b are_collinear & o,c,p are_collinear & o,c,q are_collinear & a,c '||' b,p & a,c '||' b,q holds
p = q by PARSP_1:34;