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