Brouwer, A. The Equivalence of Two Inequalities for Quasisymmetric Designs. Electron. J. Combin. 2023, 30, P1.22.