다시 증명하면 되는 거 아님??