请教一个数列问题

证明：正整数数列a1,a2,……，an是常数列的充要条件是满足性质P：对数列中任意2n项，存在一种方法将这2n项分为两类（每类n个数），使得两类数之和相等。