>>734
Σa_i√p_i = 0、a_i、b∈Q、p_iは素数とする。
a_k≠0と仮定して両辺√p_kで割ってからトレース計算。