>>811
無限単体複体を使えばいいからその理屈は通らない