for G being _Graph holds (id G) " = id G