Mac에 대한 proof 결과 (5428)