C∞ 関数とボレルの定理
http://www.math.tsukuba.ac.jp/~wkbysh/tokukgtx.pdf