数オリ解けることは、即ち知能が高い証明にもなる