theorem ThA: :: LATSTONE:1

for L being distributive Lattice
for S being Sublattice of L holds S is distributive