∮Tag
1 item
Theorem B — Finiteness of Doors
The number of door nodes is bounded by theta times the volume divided by the threshold. A direct energy-budget argument.