going down theorem