theorem Th16: :: PARSP_2:16

for FdSp being FanodesSp
for a, b, c, d being Element of FdSp st not a,b,c are_collinear & a,b '||' c,d holds
not a,b,d are_collinear