a−c=b