take <* the _Graph*> ; :: thesis: ( not <* the _Graph*> is empty & <* the _Graph*> is Graph-yielding )
thus ( not <* the _Graph*> is empty & <* the _Graph*> is Graph-yielding ) ; :: thesis: verum