>>79
　{mnの素因数} = {mの素因数} U {nの素因数},
素数p が {mの素因数}、{nの素因数} の一方のみに含まれるとすると, 題意に矛盾する。
∴　{mの素因数} = {nの素因数} = {mnの素因数} = S,
そこで
　S = {p_1,p_2,････,p_#S}
　m = Π(i=1,#S) (p_i)^(μ_i),
　n = Π(i=1,#S) (p_i)^(ν_i),
とおく。与式より
　∀(1≦i≦#S)　　a･min(μ_i,ν_i) ≧ b･(μ_i+ν_i),