Domain-straightening theorem