theorem Th5: :: LOPBAN_7:5

for X, Y being RealNormSpace
for f being LinearOperator of X,Y holds
( f is_continuous_on the carrier of X iff f is_continuous_in 0. X )