“P ¹ NP: A Formal Proof”, Int. J. Emerg. Trends Sci. Technol., May 2024, doi: 10.18535/ijetst/v2024.04.