theorem Th53:
  L is B_Lattice iff L.: is B_Lattice
proof
A1: L is distributive iff L.: is distributive by LATTICE2:50;
  L is C_Lattice iff L.: is C_Lattice by Th52;
  hence thesis by A1;
end;
