rectification; Abhyankar-Sathaye embedding problem; variable polynomial in two variables; coordinate; polynomial automorphism; derivation; Jacobian conjecture; Abhyankar-Moh theorem; embedding of the line into the plane 