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