Proof of concept for P equals NP.