>>519
でも素数の法則性についてもしらみつぶしで調べたよ。
「リーマンゼータ関数のすべての非自明な零点の実部は 1/2 である。」
という説の否定が出来ませんでした。だから法則性は「ある」事の証明はされてるんだろう。