Mahdoum, A. P ¹ NP: A Formal Proof. ijetst 2024.