take Top L ; :: thesis: Top L is meet-irreducible
thus Top L is meet-irreducible by Th10; :: thesis: verum