Going up theorem