この資料をSMS送信: Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure