뭐가 더 먼저 증명될까