set j = the Element of J;
Sup in rng (Sups ) by Th14;
hence not rng (Sups ) is empty ; :: thesis: verum