right_invertible