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