theorem Th3: :: WAYBEL_6:3

for S, T being LATTICE
for f being Function of S,T st T is distributive & f is meet-preserving & f is join-preserving & f is one-to-one holds
S is distributive