そもそもn=1の場合、線型汎関数は核がker(g)⊂ker(f)ならgの拡大は一次元になるけど大丈夫か
ハーン・バナッハの定理は不要、超関数の構造定理ができちゃうけど