take [#] T ; :: thesis: [#] T is closed
thus [#] T is closed ; :: thesis: verum