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