take the _trivial non-Dmulti loopfull _Graph ; :: thesis: ( the _trivial non-Dmulti loopfull _Graph is _trivial & the _trivial non-Dmulti loopfull _Graph is Cycle-like )
thus ( the _trivial non-Dmulti loopfull _Graph is _trivial & the _trivial non-Dmulti loopfull _Graph is Cycle-like ) ; :: thesis: verum