P=npとなる機械を作れれば、証明になるって。