S. Kim and M. Picollelli, “4-Chromatic Graphs Have At Least Four Cycles of Length $0 \bmod 3$”, Electron. J. Combin., vol. 31, no. 2, p. P2.58, Jun. 2024.