Schwartz kernel theorem — theorem