A proof of concept for P equals NP