take { the Path-like _Graph} ; :: thesis: ( not { the Path-like _Graph} is empty & { the Path-like _Graph} is Path-like )
thus ( not { the Path-like _Graph} is empty & { the Path-like _Graph} is Path-like ) ; :: thesis: verum