Going-down theorem