theorem Th58:
  L is 1_Lattice implies latt <.p.) is bounded
by Th52;
