This method crucially requires that the transformation from U, V to Y, Z be bijective. The above transformation meets this because Z can be mapped directly back to V, and for a given V the quotient U / V is monotonic. This is similarly the case for the sum U + V, difference U − V and product UV.