take the _trivial edgeless _Graph ; :: thesis: ( the _trivial edgeless _Graph is _finite & the _trivial edgeless _Graph is Path-like )
thus ( the _trivial edgeless _Graph is _finite & the _trivial edgeless _Graph is Path-like ) ; :: thesis: verum