A metatheorem for fixed point theories Richard B. Thompson — 1970 Commentationes Mathematicae Universitatis Carolinae