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