Gentzen's original 1936 proof was withdrawn precisely because its well-foundedness argument presuppo...