反向定义不成立