theorem Th10: :: PROJDES1:10

for FCPS being up-3-dimensional CollProjectiveSpace
for a, b, c, p, q, r being Element of FCPS st p <> q & p,q,r are_collinear & a,b,c,p are_coplanar & a,b,c,q are_coplanar holds
a,b,c,r are_coplanar