:: deftheorem defines 2-dimensional INCPROJ:def 9 :
for IT being IncProjSp holds
( IT is 2-dimensional iff for M, N being LINE of IT ex q being POINT of IT st
( q on M & q on N ) );