take <*{}*> ; :: thesis: <*{}*> is finite-yielding
thus <*{}*> is finite-yielding ; :: thesis: verum