An algebraic proof of a cancellation theorem for surfaces

Let $\K$ be an algebraically closed field of arbitrary characteristic. We give a short self-contained algebraic proof of the following statement: If the cylinder over an affine surface (i. e. the product of our surface and an affine line) over $\K$ is (isomorphic to) an affine space then the surface is (isomorphic to) an affine plane