theorem :: LATTICE3:52

for C being complete Lattice st C is I_Lattice holds
C is \/-distributive