A Rigorous Proof That P = NP (If Nobody Checks) · pAIper