0 in G_RAT_SET ;
hence not G_RAT_SET is empty ; :: thesis: verum