증명은 15단계까지 나오고