theorem :: GLIB_002:41

for G being acyclic _Graph holds G is simple ;