In algebra, Popescu’s theorem, introduced by D. Popescu, states:
For example, if A is a local G-ring (e.g., local excellent ring) and B its completion, then the map A →B is regular by definition and the theorem applies.
The usual proof of the Artin approximation theorem relies crucially on Popescu's theorem.
References
Popescu’s theorem Wikipedia(Text) CC BY-SA