theorem Th37: :: ANPROJ11:37

for P being Element of (ProjectiveSpace (TOP-REAL 3)) holds
( not P is zero_proj1 or not P is zero_proj2 or not P is zero_proj3 )