Text this: Proof of Kochen–Specker Theorem: Conversion of Product Rule to Sum Rule