take [#] L ; :: thesis: [#] L is with_top
thus Top L in [#] L ; :: according to WAYBEL23:def 9 :: thesis: verum