rectification; Abhyankar-Sathaye embedding problem; variable linearizing a \(\mathbb{C}^*\)-action; absence of dominant morphisms from Euclidean spaces; contractible hypersurfaces; Zariski cancellation conjecture; Abhyankar-Sathaye conjecture 