def UncomplementConstraint(A_C, b_C, C):
    """Uncomplements a constraint found for a complementing set C."""

    A = A_C[:]
    b = b_C
    for c in C:
        A[c - 1] *= -1
        b -= A_C[c - 1]
    return A, b