take the trivial Walk of G ; :: thesis: ( the trivial Walk of G is minlength & the trivial Walk of G is Path-like )
thus ( the trivial Walk of G is minlength & the trivial Walk of G is Path-like ) ; :: thesis: verum