>>370
369の者です。
すみません、直観で書き込んでしまって。
a4さまの製作されたコンピュータが、P=npを満たす必要十分条件になっていれば、証明になるのでしょうか？