take { the edgeless _Graph} ; :: thesis: { the edgeless _Graph} is edgeless
thus { the edgeless _Graph} is edgeless ; :: thesis: verum