Fractal is understating it. It requires non-constructive cuts -- if you limit yourself to cuts that can be constructed through any finitely-expressed process th

Fractal is understating it. It requires non-constructive cuts -- if you limit yourself to cuts that can be constructed through any finitely-expressed process then the theorem does not hold.