Windows에 대한 proof 결과 (10000)