 His proof goes like this. Take four chains of events. Each of them consists of three particular events \(a, b\), and \(c\), all different tokens of the same kind of events \(A, B\) and \(C\). We then construct the chain such that