theorem Th6: :: TDGROUP:6

ex a, b being Element of G_Real st a <> b