证明里是有一个小bug。
2的个数大于等于5时必然可换是没错的，但你给的数据的解是2+2+2+2+2+5,5+5+5，显然把5个2和2个5交换后仍没有达到两边都有2，从而消去两个2的效果。所以虽然5个2就能保证能换，但是为了继续进行证明还要6个2，所以奇数个2只能减到5而不是3。