take the _finite simple _Graph ; :: thesis: ( the _finite simple _Graph is vertex-finite & the _finite simple _Graph is edge-finite & the _finite simple _Graph is simple )
thus ( the _finite simple _Graph is vertex-finite & the _finite simple _Graph is edge-finite & the _finite simple _Graph is simple ) ; :: thesis: verum