岩波の数学公式辞典に記載されている
公式をを全て証明するにはどのぐらいの
時間を要しますか?