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