rectification; Abhyankar-Sathaye embedding problem; variable 17th problem of Hilbert; Kochen operator; p-adically closed fields; isomorphism theorem; general embedding theorem; Hilbert Nullstellensatz 