数論は持っているがそれがなにか?