let L be Stone Lattice; :: thesis: ( Top L in Skeleton L & Bottom L in Skeleton L )
( (Top L) * in Skeleton L & (Bottom L) * in Skeleton L ) ;
hence ( Top L in Skeleton L & Bottom L in Skeleton L ) by Th11a, Th11; :: thesis: verum