take { the loopfull _Graph} ; :: thesis: { the loopfull _Graph} is loopfull
thus { the loopfull _Graph} is loopfull ; :: thesis: verum