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