定常人口 $T_x$ と生存数 $l_x$、平均余命 $\mathring{e}_x$ の関係式はどれか。

$x$ 歳以上の総人口 $T_x$ は、現在の生存数にその後の平均生存年数を乗じたものに等しい。