Text this: Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule