イヤ、数学的に証明された理論に基づかないコード並べても答えにならない
コードは証明の代わりにはならない