take
bool X
; :: thesis: ( not bool X is empty & bool X is compl-closed & bool X is cap-closed )

thus ( not bool X is empty & bool X is compl-closed & bool X is cap-closed ) ; :: thesis: verum

thus ( not bool X is empty & bool X is compl-closed & bool X is cap-closed ) ; :: thesis: verum