for G being non-Dmulti vertex-finite _Graph holds G .size() <= (G .order()) ^2