  We give a short and elementary proof of Jung's theorem, which states that for
a field K of characteristic zero the automorphisms of K[x,y] are generated by
elementary automorphisms and linear automorphisms.
