for P, Q being Point of real_projective_plane holds
( P <> Q iff dual P <> dual Q )