Schwartzの定理が本当に必要になるのは
順像定理の証明くらいでしょう