theorem ::Theorem 2.1 (1) iff (3)
  L is continuous iff for x being Element of L ex I being Ideal of L st
  x <= sup I & for J being Ideal of L st x <= sup J holds I c= J by Lm3,Lm4;
