for X, Y being RealNormSpace
for f being LinearOperator of X,Y
for x being Point of X holds
( f is_continuous_in x iff f is_continuous_in 0. X )