theorem Th22: :: PROJDES1:22

for CS being up-3-dimensional CollProjectiveSpace holds CS is Desarguesian