言い換えると、"t" の可換子環より得られるある作用素は、"t" のユニタリ伸張の可換子環のある作用素に「持ち上げ」られることを、この定理は意味する。