４色問題の古典的証明
4color-problem.net/lib/
論文
4color-problem.zip
上記ZIPファイルの存在証明
(1) 上記ZIPファイルのsha256
ab1e16bab9690698d9a27b10c351b712d9ba8d634238d3c9ac8dbbfefad62c85
(2) この文字列をビットコインのブロックチェーンに記録
（http://proofofexistence.com/を利用）
(3) 記録を確認(下記URLのc53a21……はビットコインの取引ID)
https://www.blockchain.com/btc/tx/c53a21a26ad28c2c83537f06a4d89b26b71753797c93136e8f7ccfb06ada88a0
https://explorer.bitcoin.com/btc/tx/c53a21a26ad28c2c83537f06a4d89b26b71753797c93136e8f7ccfb06ada88a0
(4) 上記URLアクセスで表示された「OP_RETURN」の24桁目からZIPファイルのsha256と一致
444f4350524f4f46ab1e16bab9690698d9a27b10c351b712d9ba8d634238d3c9ac8dbbfefad62c85