この資料をSMS送信: Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule