Going-up theorem