分对任意m1,m∈N, 若Iosm/(ym3xF2(∫m2,2 且I1 (1/m1)(x2/m2 x4F2(3(x2,x4),x1) 则h1hn (x1/m1)(x2/m2 F2(x1,2) 分对任意m1,m2∈N, 若存在m3∈N使得 1 (x1/m1)(x2/m2)(x3/m F2(3(x1,x3,x2) 且存在m4∈N使得 11 (x1/m1)(x2/m2)(x4/m4) mF2(3(x2,x小,x1 则11 σ(x1/m1x2/m2 台对任意m1,m2∈N, 若存在m3∈N使得m1·m3=m2 且存在m4∈N使得m2·m4=m 则m1 台对任意m,m2∈N,若m1|m2,且m2m1,则m1=m2 从而h6 类似地,对C在I2如的任一个指派O 1份B分对任意m1,m2∈Q, 若存在m3∈Q使得m1·m3=m2 且存在m4∈Q使得m2·m4=m1, 71 m72 从而3⇔ :/ m1, m2 ∈ N , V I1 | σ(x1/m1)(x2/m2) ∃x3F2(f 2 3 (x1, x3), x2), M I1 | σ(x1/m1)(x2/m2) ∃x4F2(f 2 3 (x2, x4), x1), . I1 | σ(x1/m1)(x2/m2) F2(x1, x2). ⇔ :/ m1, m2 ∈ N , VY m3 ∈ N Z[ I1 | σ(x1/m1)(x2/m2)(x3/m3) F2(f 2 3 (x1, x3), x2), MY m4 ∈ N Z[ I1 | σ(x1/m1)(x2/m2)(x4/m4) F2(f 2 3 (x2, x4), x1), . I1 | σ(x1/m1)(x2/m2) F2 (x1, x2). ⇔ :/ m1, m2 ∈ N , VY m3 ∈ N Z[ m1 · m3 = m2, MY m4 ∈ N Z[ m2 · m4 = m1, . m1 = m2. ⇔ :/ m1, m2 ∈ N , V m1|m2, M m2|m1, . m1 = m2. TU I1 | σ β . @AB,  L  I2 : - σ, I2 | σ β ⇔ :/ m1, m2 ∈ Q, VY m3 ∈ Q Z[ m1 · m3 = m2, MY m4 ∈ Q Z[ m2 · m4 = m1, . m1 = m2. TU I2 | σ / β 7