rectification; Abhyankar-Sathaye embedding problem; variable regular differentials; analytic algebras; rings of quotients; trace map; extendable differential forms; smoothness; Zariski-Lipman problem; Kähler differentials 