ボレルの定理というものがあるらしいんだけど、書いてある本知ってる？

任意の実数列に対して、それをテイラー級数の係数とするC∞級関数が存在する

これって構成的に証明できるのかな。それとも選択公理を使うのかな。