Going down theorem