P ≠ NP
A Formal Proof
Summary of Finding and Methods
Q.E.D.
