for G being _Graph st G .minDegree() = 0 holds
ex v being Vertex of G st v is isolated