Bouton定理证明？

#include<iostream>
#include<algorithm>
using namespace std;
int main()
{
  int n;
  int res=0;
  scanf("%d",&n);
  while(n--)
  {
    int x;
    scanf("%d",&x);
    res^=x;
  }
  if(res)puts("Yes");
  else puts("No");
  return 0;
}