theorem Th21: :: COMBGRAS:21

for S being IncProjStr
for F being IncProjMap over S,S
for K being Subset of the Points of S st F is incidence_preserving & the line-map of F is onto & K is clique holds
F " K is clique