theorem Th68:
  for K being Sublattice of L, a being Element of K holds a is Element of L
    by NAT_LAT:def 12,TARSKI:def 3;
