Domain invariance theorem