A theorem of Soule and end of proof