The theorem follows from Stefan Banach's contractive mapping fixed point theorem applied to the complete metric space of non-empty compact subsets of R<sup>n</sup> with the Hausdorff distance. | The theorem follows from Stefan Banach's contractive mapping fixed point theorem applied to the complete metric space of non-empty compact subsets of R<sup>n</sup> with the Hausdorff distance. |