逆に
数列 b_0 b_1 b_2 … b_n … を先に与えれば
lim[n→∞] b_0. b_1 b_2 … b_n により実数a = b_0. b_1 b_2 … b_n … が定まることは明らかである
何故なら上の無限級数 lim[n→∞] b_0. b_1 b_2 … b_n は常に収束するため