  Utilizing our recent proximal-average based results on the constructive
extension of monotone operators, we provide a novel approach to the celebrated
Kirszbraun-Valentine Theorem and to the extension of firmly nonexpansive
mappings.
