反向定义不成立(第3页)