theorem :: NORMSP_3:40

for X, Y being RealNormSpace
for L being Lipschitzian LinearOperator of X,Y holds
( the carrier of (Ker L) = L " {(0. Y)} & L " {(0. Y)} is closed ) by LCL1, KLXY1, KERCL01, LOPBAN_7:6;