실수부 1/2 위에 있지 않은 비자명 근을 fermet technique이랑 euler complex number thirteen-dimension separation theorem을 갖은 양념과 함께 잘 버무려서 공간으로 바꾸고 Grothendieck 가산 공간 정리 적용시켰더니 countable한 무한집합도 아니고 uncountable이나 공집합 둘중 하나라는데...

uncountable은 제 직감상 아니라서 공집합, 즉 해가 없다고 나와서 이렇게 증명 끝냈구요, 논문은 네이쳐지에 실릴 예정입니다.

혹시 uncountable이라는 증명이 있으신 분은 연락 바랍니다.