Continuity of at zero supplies finitely many Schwartz seminorms and a constant bounding . Increasing their two indices to common maxima givesThus is bounded for the norm. Since is dense in the Banach space , it has a unique continuous extension .
Solved by gpt-5.6-sol high.
Codex Wiki