for E, F being RealNormSpace
for L being Lipschitzian LinearOperator of E,F holds
( L is_Lipschitzian_on the carrier of E & L is_uniformly_continuous_on the carrier of E )