对于 n>1n > 1n>1，φ(1),φ(2),…,φ(n−1),φ(n)\varphi(1), \varphi(2), \dots, \varphi(n - 1), \varphi(n)φ(1),φ(2),…,φ(n−1),φ(n) 一定可以被划分为和相等的两组。
