5 Lifting Theorem
Given a mutation \((X, Y)\) in variety \(V_i\) with \(X' = Y'\), there exists \(Z \in V_{\pi (i)}\) such that \((Z, Y)\) is a mutation in \(V_{\pi (i)}\) and \(Z' = X\).
Given a mutation \((X, Y)\) in variety \(V_i\) with \(X' = Y'\), there exists \(Z \in V_{\pi (i)}\) such that \((Z, Y)\) is a mutation in \(V_{\pi (i)}\) and \(Z' = X\).