StoneH L is onto by FUNCT_2:def 3;
hence StoneLatt L is distributive by LATTICE4:18; :: thesis: verum