theorem Th33: :: ANPROJ11:33

for P being non zero_proj1 non zero_proj2 Point of (ProjectiveSpace (TOP-REAL 3)) holds dual1 P = dual2 P