分数体の一意性を証明するためのアプローチ