>>694-696
計算機で扱える数に入る位相が完備でないので
その議論は(現実的でない)かなり強い仮定を必要とするよね