theorem :: GLIB_016:38

for G being _Graph st ex v being Vertex of G st v is isolated & G is regular holds
G is edgeless