take [#] T ; :: thesis: ( not [#] T is empty & [#] T is open & [#] T is closed )
thus ( not [#] T is empty & [#] T is open & [#] T is closed ) ; :: thesis: verum