定义一种运算“*”对于任意非零自然数n满足以下运算性质: