
theorem Th11:
  for X,Y be RealBanachSpace,
      T be LinearOperator of X,Y st T is closed
    holds graphNSP(T) is complete
proof
  let X,Y be RealBanachSpace, T be LinearOperator of X,Y;
  graphNSP(T) is Subspace of [:X, Y :] by Th9;
  hence thesis by Th10;
end;
