Establishment from P=NP