Added an arithmetical characterization of the hypothesis of WKL.