n>=1은 정수이다. A를 모든 성분이 정수인 2n x 2n 대칭행렬이라고 하자. 또한 A의 대각 성분은 2의 배수이다. 이때 (-1)^n det A가 0 or 1 mod 4임을 보여라.