going-up theorem