解释其中一个步骤 a1,a2,...an是互不相等的正整数,证明: