for X, Y being RealBanachSpace
for T being LinearOperator of X,Y st T is closed holds
graphNSP T is complete