Poincaré and domain invariance theorem