take X --> the _Graph ; :: thesis: X --> the _Graph is Graph-yielding
thus X --> the _Graph is Graph-yielding ; :: thesis: verum