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