take [#] L ; :: thesis: [#] L is with_bottom
thus Bottom L in [#] L ; :: according to WAYBEL23:def 8 :: thesis: verum