アルマン・ボレル(armand borel)はこのことを使い、ki(a)とki(f)modulo torsionを計算した。