Mac에 대한 proof 결과 (5427)