for X, Y being RealNormSpace
for T being non empty PartFunc of X,Y
for T0 being LinearOperator of X,Y st T0 is Lipschitzian & dom T is closed & T = T0 holds
T is closed