theorem Th2: :: GLIB_013:2

for G being non-Dmulti _Graph holds G .size() c= (G .order()) *` (G .order())