有限であることを証明してしまった気配（でも計算過程で曖昧になってる可能性も。。