展开 古德曼定理数论