Double Substitution Lemma $x/y=\begin{cases} y, x\subset y\ x, \text{otherwise} \end{cases}$ Similar result: $x/yy=y$