동시에 소수가 실제로는 유한할 수도 있지 않을까?