Their proof is limited to bounded regions only.

• 他们的证明只限于有界域。