theorem :: ANPROJ11:61

( real_projective_plane is reflexive & real_projective_plane is transitive & real_projective_plane is Vebleian & real_projective_plane is at_least_3rank & real_projective_plane is Fanoian & real_projective_plane is Desarguesian & real_projective_plane is Pappian & real_projective_plane is 2-dimensional ) ;