Proof of a Key Inequality for Lattice Event Probabilities with Equal Odds. Issue 4 (2nd October 2022)