added a theorem relating contracting functions and their derivatives