Return to Article Details P a NP PROOF Millennium Prize Problem Solved using the Proof of X A Y = B at System 1