theorem Th46: :: ANPROJ11:46

for l being Element of ProjectiveLines real_projective_plane holds dual (dual l) = l