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