증명 15단계에서 다시 10단계로 줄어드는건가?