for G being with_max_degree _Graph holds
( G is with_max_in_degree or G is with_max_out_degree )