theorem Th45: :: ANPROJ11:45

for P being Point of real_projective_plane holds dual (dual P) = P