712.11 RM의 최적성 증명