The Linear Artin Approximation Theorem
Linear Artin Approximation Theorem. Then the system has a true solution U‾\underline{U}U such that
MathDB