Just to emphasize how conceptually easy the proof is when boiled down to its bare essentials, here is the proof in tweet form https://twitter.com/BooleanAnalys

Just to emphasize how conceptually easy the proof is when boiled down to its bare essentials, here is the proof in tweet form https://twitter.com/BooleanAnalysis/status/1145837576487612416?s=20 https://twitter.com/BooleanAnalysis/status/11458375764876124...