theorem Th11: :: PARSP_2:11

for FdSp being FanodesSp
for a, b, c, p, q, r being Element of FdSp st not a,b,c are_collinear & a,b '||' p,q & a,c '||' p,r & p <> q & p <> r holds
not p,q,r are_collinear by PARSP_1:30;