둘이서 서로 문제 내고 증명을 공개적으로 검증받자
니가 지금 여기 통이고 내가 도전자니까 선공 잡는다?

"선택 공리" 증명해 와라
그럼 내가 다음턴에 int*, int** 증명한다