for G being _Graph holds
( G is G .order() -vertex & G is G .size() -edge ) ;