Bottom L is compact by WAYBEL_3:15;
hence not CompactSublatt L is empty by Def1; :: thesis: verum