Kim, S.; Picollelli, M. 4-Chromatic Graphs Have At Least Four Cycles of Length $0 \bmod 3$. Electron. J. Combin. 2024, 31, P2.58.