going up theorem