for G being Group holds inverse_op G is one-to-one