선택이 틀리지 않았다는 거 언제 증명해 주는데