直交基底関数formula_13k(r)の集まりとして運動量演算子の固有関数に指定したとき、formula_13(r)を再構成するのに必要な情報はformula_12(k)が全て持つことになる。