Schwartz kernel theorem
[de] Kernsatz von Schwartz