Zhang, X. Attempts and Inferences of the Four-Color Theorem. STECEP 2024, 2, 7762.