theorem :: LATSTONE:33

for L1, L2 being Lattice st L1 is Stone & L2 is Stone holds
[:L1,L2:] is Stone by ProductIsSStone, FILTER_1:38;