P
Initializing...
Proposition 4 — the unwidened region contains an MDP of diameter at most 1/ζ · Prove2Me