数論的D加群は何のためにあるんですか