15.10 최적 효율성(Optimal Efficiency) 정리와 노드 확장 최소성 증명