sentences:  The first rigorous proof was given by , and an algebraic proof for all fields of characteristic 0 was given by .gave a proof for surfaces of non-zero characteristic.Resolution of singularities has also been shown for all excellent 2-dimensional schemes (including all arithmetic surfaces) by .