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