theorem Th9: :: LOPBAN_7:9

for X, Y being RealNormSpace
for T being LinearOperator of X,Y holds graphNSP T is Subspace of [:X,Y:]