The opposite transformation adds same term to various expressions leading to multiple uses of the same quantity.
this will force at least one of C 1 and C 2 to use the same quantity more than once, violating validity.