take cobool X ; :: thesis: cobool X is cap-finite-partition-closed
thus cobool X is cap-finite-partition-closed ; :: thesis: verum